truth-table topic
tt
a Pythonic toolkit for working with Boolean expressions
truth-table
根据逻辑表达式生成对应真值表 (Generate corresponding truth table from logical expression)
xFunc
xFunc provides a powerful parser and analyzer for mathematical expressions. It excels at calculating derivatives, simplifying expressions, and achieving high performance.
truthtabl.es
Truth table generator, (basic) proof builder, and more, built with Next.js and Ohm
lisp-inference
An Inference Engine based on Propositional Calculus written in Common Lisp
binary-decision-diagram
A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram
truth-table-generator
truth-table-generator is a tool that allows to generate a truth table
deepdive
Rigid body tracking with HTC Vive trackers
TruthTableGenerator
Generates truth tables for formulas of sentential logic
Kmap
A simple function to simplify boolean algebra expressions, inspired by Karnaugh Map.