Source: https://www2.seas.gwu.edu/~ayoussef/cs1311/BooleanAlgebra.pdf