Huntington le dio una definición formal al álgebra de boole mediante los siguientes postulados.