About this document

Le 2 by abderrahim Lahssini is a document available to read on EtoBox.

The document discusses the conversion of logical formulas into various normal forms, specifically Conjunctive Normal Form (CNF) and Disjunctive Normal Form (DNF). It addresses the equivalence of formulas in these forms and the satisfiability and validity of CNF formulas, highlighting algorithms for checking these properties. Additionally, it notes the complexity of converting formulas into CNF and the importance of equisatisfiability over equivalence in practical applications.

Author

abderrahim Lahssini

Language

EN