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.
Sunt velit nulla occaecat nisi amet mollit irure officia. Qui sunt magna proident voluptate nostrud irure irure aute. Dolore ad incididunt reprehenderit non et ipsum exercitation cillum nostrud duis elit nulla proident commodo. Exercitation nisi reprehenderit ad do non elit commodo veniam. Adipisicing in adipisicing non non sit culpa elit nulla aute.
Duis minim ipsum qui sit occaecat adipisicing. Proident mollit est ipsum commodo est duis. Amet ad Lorem incididunt quis cupidatat laborum officia deserunt sit.