Matemagik
Konkurs nr 15
Data konkursu: 2013-04-16
Liczba uczestników: 17
Klucz: klucz dostępny po zalogowaniu
Zadanie
Zadanie
Sprawdź czy zdanie logiczne jest tautologią.
Każdy test to jedno wyrażenie.
Jeśli wyrażenie jest tautologią, to odpowiedzią jest litera T, jeśli nie jest tautologią, odpowiedzią jest litera N.
Przykłady:
∼(p ∧ ∼p) (wynik: T)
p ∧ q (wynik: N)
Testy:
p ∨ ∼p
p ⇒ (q ⇒ p)
(p ∨ q) ∧ ∼p ⇒ q
(p ∨ q) ⇔ (q ∨ p)
(p∧ ∼q) ⇔ (∼(p⇒q))
[∼(p ∨ q)] ⇔ [∼p ∨ ∼q]
[( p ∨ q ) ∧ (p ⇒ q )] ⇒ (q ⇒ p)
[p ⇒ (q ⇒ r)] ⇒ [(q ⇒ q) ⇒ (p ⇒ r)]