Boolean normal forms: NNF, DNF & CNF