Klasifikace logik

• predikátová
  • 1. řádu = kvantifikátory proměnných
  • 2. řádu = kvantifikátory nejen proměnných

Výroková logika syntax

• NAND, NOR - lze vyjádřit negaci (!p = NAND(p,p)), konjunkci a disjunkci = úplný systém
• unární verum = všechny výsledky jsou nějaké
  • unární verum ?? = vždy pravda
  • unární verum falsum = vždy nepravda
  • unární verum projekce: pravda = pravda, nepravda = nepravda

p	g	b.f.1	NOR	¬(g ⇒ p)	¬p	¬(p ⇒ g)	¬g	XOR	NAND	p ∧ g
0	0	0	1	0	1	0	1	0	1	0
0	1	0	0	1	1	0	0	1	1	0
1	0	0	0	0	0	1	1	1	1	0
1	1	0	0	0	0	0	0	0	0	1

Normální formy

• úKNF (úplná konjunktivní norm. forma): pro všechny 0 napíšeme formule, pomocí disjunkce ∨, aby vraceli nulu, pak vše formule spojíme pomocí konjunkce ∧
• úDNF: naopak