Test z logiki

« cofnij
Kwota zawierająca podatek: 0.00 PLN





Klasyczny rachunek zdań

Sprawdź skróconą metodą, czy formuła jest kontrtautologią.
{(~ q → p) ∧ ~ [(~ p ∨ r) → q]} ∧ (~ q ∨ r)

  • Formuła nie jest kontrtautologią.
  • Formuła jest kontrtautologią.