Czy relacje jest tautologią Snooopy: [(p⇒q)∧(q⇒p)] ⇒ (p v q) p | q | p⇒q | q⇒p | (p⇒q)∧(q⇒p) | p v q | [(p⇒q)∧(q⇒p)] ⇒ (p v q) 1 1 1 1 1 1 1 1 0 0 1 0 1 1 0 1 1 0 0 1 1 0 0 1 1 1 0 0 dobrze zrobiłem tabelkę? Ta relacja nie jest tautologią, prawda?

iteRacj@: tak