forum.zadania.info

Pokaż przez indukcję, że każda formuła \(\phi\) zbudowana ze zmiennych p i q oraz spójnika \(\Rightarrow\) jest równoważna dokładnie jednej z formuł z poniższego zbioru:
\(\{T, p, q, (p \Rightarrow q , (q \Rightarrow p ), (p \vee q)\}\)