Browse by Keyword: "propositional"

Page 1

connective combine predicate (bool returning) functions with propositional logic connectives (and, or, not)

propsat Propositional Satisfiability Checker

Page 1

npm loves you