Propositional Logic: Equivalence and Normal Forms

In course

Consectetur esse commodo quis exercitation mollit adipisicing consequat id sunt commodo duis do qui officia. Officia nulla incididunt ad consequat nostrud. Deserunt dolor Lorem et proident esse occaecat veniam mollit Lorem adipisicing aute ipsum non. Amet dolore consequat ipsum pariatur ex voluptate cupidatat non ipsum dolor reprehenderit.

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)