Question

Sprawdz metoda zero-jedynkową ,które z podanych zdań są tautologiami:

a).(~pvq)(p=>~q)

b). [(p=>q)Λ~q]=>~p

c). [(qΛp)=>~p]=>(qp)

Bardzo proooooooooszę!

Answer 1

a).(~pvq)(p=>~q) - brakuje znaku między nawiasami

 

b). [(p=>q)Λ~q]=>~p - tautologia

 

c). [(qΛp)=>~p]=>(qp) - brakuje spójnika