Sprawdz czy wyrazenie jest tautologią: Karlo: Prosze o pomoc w rozwiązaniu tego oto zadania z logiki mateamtycznej. Sprawdz czy wyrazenie jest tautologią: ~( p ⋀ q ) ⇔ [ ~q ⇒ ( p ⋁ q ) ]

Marcin W: metoda zero jedynkowa nie pomaga ?

k.: a tam zero jedynki. nie wprost w dwie strony

k.: a tabelką: niech p q 1 1 1 0 0 1 0 0 Lewa strona: dostaniemy 0 1 1 1 Prawa strona: "0 1 0 1" => " 1 1 1 0" czyli implikacja da nam "1 1 1 0" zatem lewa i prawa strona sie nie pokrywaja. czyli nijak to nie jest tautologia : P

Karlo: dzięki bardzo