LOGIKA Paulina: PROSZĘ O POMOC Czy mógłby mi ktoś wytłumaczyć jak zrobić to zadanie? Sprawdź, czy następujące zdanie jest tautologią? p⇒ [(~q∧q)⇒r] Dzięki z góry za pomoc. Wiem że do tego robi się tabelkę ale za bardzo nie rozumiem jej przebiegu.

Mike : p q r ∼q ∼q⋀q [∼q⋀q⇒r] p⇒ [(~q∧q)⇒r] 0 0 0 1 0 1 1 0 0 1 1 0 1 1 0 1 0 0 0 1 1 1 0 0 1 0 1 1 0 1 1 0 0 1 1 1 0 1 1 0 1 1 1 1 0 0 0 1 1 1 1 1 0 0 1 1 ale wydaje mi sie ze powinno być ∼q⋀p no ale jeśłi nawet jest błąd, to widzisz juz jak sie rozpisuje cos takiego

Paulina: nie wiem jednej rzeczy, kiedy na końcu są same jedynki a kiedy nie... nie rozumiem tego zapisu... a przykład dobry podałam.