Sprawdzić czy wyrażenie
[p∨(q⇒p)]⇒[(∼p)∧q]
p q q⇒p p∨(q⇒p) ∼p (∼p)∧q [p∨(q⇒p)]⇒[(∼p)∧q]
1 1 1 1 0 0 0
1 0 1 1 0 0 0
0 1 0 0 1 1 1
0 0 1 1 1 0 0
Wyrażenie nie jest tautologią.
