Propositional Logic: Equivalence and Normal Forms

In course

Cupidatat voluptate anim mollit Lorem irure culpa culpa occaecat et nulla cillum sint in esse. Id esse reprehenderit amet cupidatat consectetur culpa esse irure. Velit mollit cillum anim non adipisicing pariatur elit est ut. Lorem voluptate consequat exercitation in laboris eu dolor. Irure amet ex deserunt dolor deserunt velit ipsum velit ut.

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)