. Tomek : Czy to (q∧s⋀u) jest tym samym co (q⋀s)⋁(q⋀u)⋁(u⋀s) ?

Jerzy: Zrób sobie tabelkę i sprawdź.

Tomek : Nie jest tym samym, więc w jaki sposób to zapisać?

Jerzy: A czemu tak twierdzisz ?

Tomek : Zrobiłem tabelkę i oba równania nie są tautologiami .

Jerzy: Nie oba równania nie są tautologią , tylko ta równoważność nie jest tautologią. Zapis: ¬ [(q∧s∧u) ⇔ (q∧s) v (q∧u) v (u∧s)]

Tomek : więc jak mogę inaczej zapisać (q∧s∧u) ?