Biconditional | npm.io

Code Contracts for TypeScript and ECMAScript classes

assertion biconditional behavioral-subtyping code-contracts decorators demands design-by-contract encapsulation exception-handling if-and-only-if

1.0.0 • Published 7 months ago

It allows you to calculate truth tables of simple and compound propositions

propositional logic truth tables negation disjunction conjunction conditional biconditional

1.0.1 • Published 12 months ago