sprawdzić czy zdanie jest tautologia pat: .[(p∧q)⇒r]⇒[p⇒(q⇒r)]

pat: bardzo prosze o pomoc, mam jutro kolokwium a nic z tego nie pamietam

Trivial: Rozpisz wszystkie możliwości p, q, r (8 wierszy). Rozpisz potem p∧q rozpisz (p∧q)⇒r rozpisz: q⇒r rozpisz p⇒(q⇒r) rozpisz: [(p∧q)⇒r]⇒[p⇒(q⇒r)] sprawdź czy same jedynki.

pat: ale jak rozpisać te mozliwosci? moze mogbys mi napisać jak to ma wygladać, prosze

Trivial: p q r p∧q (p∧q)⇒r q⇒r p⇒(q⇒r) [(p∧q)⇒r] ⇔ [p⇒(q⇒r)] 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 1 1 0 1 0 1 1 1 1 1 0 0 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 1 1 0 0 0 0 1 1 1 1 Tautologia.

pat: jaa... wielkie dzieki

Dawid: [(p∧q)→∼r]→[∼p(r→∼p)→∼q]

Dawid: pomoooooocy!