CNF and DNF Normal Forms

Transforming formulas into normal forms simplifies automated checking, SAT-solving, and proof procedures. Maintaining equivalence is crucial when excluding implications and negations