Exercise

Exercise logic.propositional.dnf.unicode

Description
Proposition to DNF (unicode support)

((¬(¬q ∨ p) ↔ ((r ↔ s) ∨ (¬s ∧ T))) ∨ (¬(¬q ∨ p) ↔ ((r ↔ s) ∨ (¬s ∧ T)))) ∧ ((¬(¬q ∨ p) ↔ ((r ↔ s) ∨ (¬s ∧ T))) ∨ (¬(¬q ∨ p) ↔ ((r ↔ s) ∨ (¬s ∧ T))))

ready: no

Feedback

path []
steps 0
major rules 0
active labels