Tautologia Suita: Czy zdanie [(p ⋀ q) ⇒ r] ⇔ [p ⋀ (q ⇒ r)] jest tautologią? Jak rozpisać taką tabelkę? Proszę o pomoc...

lisqq: rozpisujesz na p,q p∧q p∧q ⇒ r ,q ⇒ r następnie podstawiasz p=0 q=0 p=0 q=1 p=1 q=0 p=1 q=1 i rozwiązujesz dalej

lisqq: zapomnialem o p ⋀ (q ⇒ r)

Garth: lisqq, jesli juz, to: p | q | r 1 1 1 1 1 0 1 0 1 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0

Garth: Ilosc mozliwych kombinacji w przypadku logiki dwuwartosciowej jest wariancja z powtorzeniami liczby 2ⁿ, gdzie n to ilosc zdan prostych wystepujacych w schemacie zdaniowym.

Garth: Wariacja*