search

heron-solver / heron

🏺 Simulation Solver for Timed Causality Models in TESL
MIT License
5 stars 1 forks source link

Logical algebra for implies #41

Open hai-nguyen-van opened 6 years ago

hai-nguyen-van commented 6 years ago

A1 ∧ ... ∧ An ⇒ B1 ∨ ... ∨ Bm where every (A) and (B) are literals (an atom or its negation)

Then decompose into CNF...