Zadaj vyrok ...napr. :
(~pvq)>((p^~r)>((~p=~s)>(s^q)))
Pricom:
^....konjunkcia
v....disjunkcia
~....negacia
=....eqvivalencia
>....implikacia
....
....
....
....
....
....
....
....
....
....
....
....
....
....