Propositional | npm.io

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

1.0.0 • Published 12 years ago

A resolution-based propositional logic tool

0.2.1 • Published 8 years ago

An interpreter of well-formed formulas in propositional calculus.

0.0.1 • Published 10 years ago

A resolution-based propositional logic tool

0.4.0 • Published 1 year ago

A library to determine the validity of arguments in propositional logic

0.1.6 • Published 5 years ago

Propositional Satisfiability Checker

2.1.0 • Published 1 year ago

Propositional Logic Problem Generator

1.0.0 • Published 4 years ago

0.1.3 • Published 1 year ago

Propositional Packages