Sprawdź czy zdanie jest tautologią. Alex: Witam chciałbym poprosić o pomoc przy zadaniu. Sprawdź czy podana formuła jest tautologią: (~p⋁q)⇒(~p⋀~p). Mnie wyszło że nie jest ale chciałbym aby ktoś jeszcze rozwiązał to zadanie przy pomocy tabeli prawdy.

Adamm: http://www.wolframalpha.com/input/?i=(+(not+p)+or+q+)+implies+(+(not+p)+and+(not+p)+)