search

ryukinix / lisp-inference

An Inference Engine based on Propositional Calculus written in Common Lisp
https://logic.manoel.dev
BSD 3-Clause "New" or "Revised" License
40 stars 1 forks source link

Add implication equivalence #29

Open ryukinix opened 5 years ago

ryukinix commented 5 years ago

p => q <=> ~p v q