a Pythonic toolkit for working with Boolean expressions
truth-table-generator is a tool that allows to generate a truth table
Generates truth tables for formulas of sentential logic
根据逻辑表达式生成对应真值表 (Generate corresponding truth table from lo...
xFunc provides a powerful parser and analyzer for mathematical expressio...
An Inference Engine based on Propositional Calculus written in Common Lisp
Rigid body tracking with HTC Vive trackers