Showing 1-12 of 12 packages
A library to create, minimize and optimize binary decision diagrams
Truth Table Generator creates complete truth tables for boolean expressions with support for AND, OR, NOT, XOR, NAND, and NOR operators.
A NodeJS bridge to the Espresso heuristic logic minimizer
Many times, we need to make a decision, retrieve a value, call a function based on a combination of values/options/arguments.
Propositional proof system
A NodeJS bridge to the Espresso heuristic logic minimizer
This is a JavaScript package that you want to provide all the capabilities provided by Logism. It will provide various functions such as calculation using logical circuits, simplification of logical expressions, and generation of logical expressions throu
First order logic library.
A powerful TypeScript library for generating and validating propositional logic truth tables. Inspired by Carnap's truth table implementation, this library provides a flexible API for creating, manipulating, and validating truth tables for propositional l
Boolean expression solver, simplifier, truth-table generator
A simple package introducing logic gates
Truth table implementation and numeric conversions of given numbers