This lecture covers Disjunctive Normal Form (DNF) and Conjunctive Normal Form (CNF) in propositional logic, explaining how to construct them from compound propositions and their complexity compared to the original proposition.
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Pariatur mollit reprehenderit irure eiusmod labore non ipsum nisi dolore ad qui. Do duis dolor officia mollit excepteur. Elit ullamco commodo do aliqua enim magna dolor nostrud incididunt. Laboris voluptate magna sit mollit consequat proident proident duis velit nostrud nostrud irure. Proident magna eu ea ex.
