Normal forms in proposition | Disjunction normal form | conjunction normal form | discrete math