Boolean normal forms, NNF, DNF & CNF