sprawdzić czy zdanie jest tautologia bvrtek: sprawdzić czy zdanie jest tautologia [(p ⇒ q) ∧ (∼ q)] ⇒ p p q p⇒q ~q (p⇒q)⋀(~q) [(p ⇒ q) ∧ (∼ q)] ⇒ p 1 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 0 1 1 1 0 Dobrze jest to zrobione? Nie jestem pewny w p⇒q oraz ogólnym wyniki

iteRacj@: zgadza się