Sprawdź czy zdanie [(p=>q)^ p]=>q jest tautologią . Dzięki ! :)

Odpowiedź :

[(p=>q)^ p]=>q MAMY TABELKE
p q (p=>q) [(p=>q)^ p] [(p=>q)^ p]=>q
1 0 0 0 1
0 1 1 0 1
1 1 1 1 1
0 0 1 0 1
JEST TAUTOLOGIA