Příklad 1. Přepište výrokovou formuli X — Y na výrokovou formuli systému £(!)• (Poznamenejme, že na přednýšce se symbol | označuje NAND, tj- A | B = — (A A B) •) Napišme si tabulku pro vyrokove formule:
X	Y	X — Y	X | Y
1	1	1	0
1	0	0	1
0	1	1	1
0	0	1	1
Z ní je videt, že prohozením radku dostanu z jedne výrokove formule druhou (mam v tabulce trikrýt 1 a jednou 0 pro obe výrokove formule X — Y a X | Y)• Tedy platí:
X — Y = X | —Y.
Stačí tedy jeste umet nahradit negaci pomocí |- To není težke- Uvažme nasledující posloupnost kroku:
—X = —(X A X) = X | X. Použijeme-li obe odvozene skutecnosti dohromady, dostývýme resení príkladu:
X — Y = X | —Y = X | (Y | Y).
To, ze nam ve cvicení vysla jiný vyrokova formule, neznamena, ze jsme príklad spocítali spatne- Pouze jsme nasli jine resení- Zýroven jsme to resení opet museli castecne odhadnout-Prave proto je tu cvicení, abychom se naucili hledat (odhadovat), jak by to asi mohlo byt-
Příklad 2. Prepiste výrokovou formuli (A — (B — C)) — D na výrokovou formuli systemu Stací opakovane dosadit do "vzorecku"spocítaneho v predchozím príkladu:
(A — (B — C)) — D = x y
(^A^ — (B — C)) | (D | D) = (A | ((^B? —  C ) | (^B? — ^Cľ ))) | (D | D) =
Xi
X3
Y3
X4
Y4
(A | ((B | (C | C) | (B | (C | C))) | (D | D).
1