Výroky

• a = konjunkce $\land$
• nebo = disjunkce $\lor$
• implikace $\implies$
  • $(A \implies B) \equiv (\neg A \lor B)$
  • $(A \implies B) \equiv (\neg B \implies \neg A)$
• ekvivalence $\iff$
  • $(A \iff B) \equiv ((A \implies B) \land (B \implies A))$
• negace $\neg A \equiv \bar{A}$
  • $\neg (\neg A)$

• Jestliže mrzne, tak pokud prší, tvoří se námraza.
• $((M \land P) \implies L) \equiv (M \implies (P \implies L))$

• $A \land (B \lor C) \equiv (A \land B) \lor (A \land C)$
• $A \lor (B \land C) \equiv (A \lor B) \land (A \lor B)$

• $(A \lor B) \equiv \neg (\neg A \land \neg B)$
• $(A \land B) \equiv \neg (\neg A \lor \neg B)$

$(A \land B) \equiv \neg (A \implies \neg B)$

• najít řádky s jedničkou v posledním sloupci
• vyjádřit každý takový řádek pomocí výroku (např. druhý řádek $\neg A \land \neg B \land C$)
• tyto čtyři výroky spojím pomocí disjunkce