Question

Wykaż metodą zero jedynkową,żę zadanie jest prawemrachunku zdań: [p^(p=>q)]=>q

Answer 1

 

p|q|p=>q|p^(p=>q)|p^(p=>q)=>q

1|1|   1  |     1       |     1

1|0|   0  |     0       |     1

0|1|   1  |     0       |     1

0|0|   1  |     0       |     1

 

 

Zatem powyższe zdanie jest tautologią.