tautologia zdań Miśka: Które z podanych wyrażeń nie jest tautologią ? A)[(p ⇒ q) ∧ (r ⇒ s)] ⇒ [(p ∧ s) ⇒ (q ∨ r)] B) [(p ⇒ q) ∧ (r ⇒ s)] ⇒ [(p ∧ r) ⇒ (q ∧ s)] C)[(p ∨ q) ⇒ (p∨ ∼ q)] ⇒ (∼ p ∨ q) D)p ⇒ [(∼ q ∧ q) ⇒ r] E)(p ⇒ q) ⇐⇒ [(p ∧ q) ⇐⇒ p

iteRacj@: [(p ∨ q) ⇒ (p ∨ ∼ q)] ⇒ (∼ p ∨ q) dla p=1, q=0 (p ∨ q) ⇒ (p ∨ ∼ q) prawda ∼ p ∨ q fałsz [(p ∨ q) ⇒ (p ∨ ∼ q)] ⇒ (∼ p ∨ q) fałsz