search

Janko-dev / plogic

Propositional logic evaluator and rule-based pattern matcher
MIT License
20 stars 1 forks source link

Add name binding for rule #1

Closed Janko-dev closed 2 years ago

Janko-dev commented 2 years ago

Add name binding for rule 'Distribution <- p & (q | r) = (p & q) | (p & r)'