Propositional Logic: Equivalence and Normal Forms

In course

Elit nostrud adipisicing non nulla commodo veniam ea ex duis ipsum consectetur. Est commodo proident anim velit est proident voluptate nostrud labore id. Dolor ullamco minim mollit dolor officia deserunt eiusmod cupidatat mollit anim fugiat magna velit culpa. Commodo dolore velit eu ea cillum aute do esse exercitation laboris. Enim deserunt occaecat proident incididunt. Ad ipsum amet cupidatat ipsum incididunt.

Description

This lecture covers propositional logic, logical equivalence, tautology, contradiction, contingency, satisfiability, proofs of equivalence, CNF, and DNF. It explains how to determine logical properties, perform proofs, and derive normal forms.

Official source

https://mediaspace.epfl.ch/media/0_2bjvgc4a

About this result

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.

Ontological neighbourhood

Logic

Classical logic: First-order logic

Mathematics

Mathematical logic: Boolean logic

Statistics

Statistical inference: Mathematical statistics

Related lectures (139)