a Pythonic toolkit for working with Boolean expressions
-
Updated
May 11, 2020 - Python
a Pythonic toolkit for working with Boolean expressions
truth-table-generator is a tool that allows to generate a truth table
根据逻辑表达式生成对应真值表 (Generate corresponding truth table from logical expression)
Generates truth tables for formulas of sentential logic
Rigid body tracking with HTC Vive trackers
An Inference Engine based on Propositional Calculus written in Common Lisp
A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram
A simple function to simplify boolean algebra expressions, inspired by Karnaugh Map.
Karnaugh maps solver is a web app that takes the truth table of a function as input, transposes it onto the respective Karnaugh map and finds the minimum forms SOP and POS according to the visual resolution method by Maurice Karnaugh, American physicist and mathematician.
Truth table generator, (basic) proof builder, and more, built with Next.js and Ohm
Generate truth table according to logic expressions
On our page you can calculate logic expressions, or make an account and create or solve logic riddles.
A handy utility for propositional logic.
Proofmood is a computer logic system specifically tailored for Fitch calculus, covering propositional logic, first-order logic, and type theory.
A small LaTeX package for generating truth tables automatically.
Print lovely formatted truth tables from any boolean logic expression!
Swift protocol which helps both Devs and QAs on writing human-readable and easy editable tests using the logical table of truth
Purpose of this project is to simplify sum-of-product logic expressions.
A Binary Multi-Layer Neural Network
Boolean algebra toolkit for PHP
Add a description, image, and links to the truth-table topic page so that developers can more easily learn about it.
To associate your repository with the truth-table topic, visit your repo's landing page and select "manage topics."