Question

Sprawdź metodą 0-1 (tabelka) czy dane zdanie jest tautologią (p^~q)wtedy i tylko wtedy gdy(pvq) (p i nieprawda, że q wtedy i tylko wtedy gdy p lub q)

Answer 1

(p^~q) <=> (p v q)

 

p    q    ~q    (p^~q)     (pvq)       (p^~q)<=> (pvq)

1    1     0        0           1                    0

1    0     1        1           1                    1

0    1     0        0           1                    0

0    0     1        0           0                    1

 

(p^~q) <=> (pvq) nie jest tantologią