výuka
Petr Olmer, MFF UK
27.02.2006
2. cvičení
Výroková logika - ekvivalence formulí, normální tvary.
Tautologické důsledky.
Zákony: komutativní, asociativní, distributivní, idempotence, absorpce, dvojité negace, de Morganovy.
Vyjadřování logických spojek pomocí jiných spojek.
Konjunktivní normální tvar a disjunktivní normální tvar. Minimalizace (Grayovy kódy, Karnaughovy mapy).
