a) [(a∧b)∧c]∧[(p∨r)∨ ~q]
a∧b => zdanie prawdziwe
[(a∧b)∧c] => [(zdanie prawdziwe)∧zdanie prawdziwe] => zdanie prawdziwe
p∨r => zdanie fałszywe
[(p∨r)∨ ~q] => [(zdanie fałszywe) lub zdanie prawdziwe] => zdanie prawdziwe
[(a∧b)∧c]∧[(p∨r)∨ ~q] => [zdanie prawdziwe]∧[zdanie prawdziwe] => zdanie prawdziwe
b) [(p=>q) => (r=> ~ a)] <=> (~ b∧c)
(p=>q) => zdanie prawdziwe
(r=> ~ a) => zdanie prawdziwe
[(p=>q) => (r=> ~ a)] => zdanie prawdziwe
(~ b∧c) => zdanie fałszywe
[(p=>q) => (r=> ~ a)] <=> (~ b∧c) => [zdanie prawdziwe] <=> (zdanie fałszywe) => zdanie fałszywe
