truth-table
There are 111 repositories under truth-table topic.
welchbj/tt
a Pythonic toolkit for working with Boolean expressions
chicolucio/truth-table-generator
truth-table-generator is a tool that allows to generate a truth table
daidr/truth-table
根据逻辑表达式生成对应真值表 (Generate corresponding truth table from logical expression)
mrieppel/TruthTableGenerator
Generates truth tables for formulas of sentential logic
asymingt/deepdive
Rigid body tracking with HTC Vive trackers
ryukinix/lisp-inference
An Inference Engine based on Propositional Calculus written in Common Lisp
pubkey/binary-decision-diagram
A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram
wredan/Karnaugh-Map-Solver
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.
zhcHoward/Kmap
A simple function to simplify boolean algebra expressions, inspired by Karnaugh Map.
Merlin04/truthtabl.es
Truth table generator, (basic) proof builder, and more, built with Next.js and Ohm
xehoth/TruthTableGenerator
Generate truth table according to logic expressions
LuckyForce/Logic-Riddle
On our page you can calculate logic expressions, or make an account and create or solve logic riddles.
4g3nt81lly/logic-util
A handy utility for propositional logic.
salt-die/truth_tables
Print lovely formatted truth tables from any boolean logic expression!
jhjeong314/Proofmood
Proofmood is a computer logic system specifically tailored for Fitch calculus, covering propositional logic, first-order logic, and type theory.
chakravala/DeMorgan.jl
Classical logic truth table magma algebra
K-Trout/truthtable
A small LaTeX package for generating truth tables automatically.
ndPPPhz/TruthTableOption
Swift protocol which helps both Devs and QAs on writing human-readable and easy editable tests using the logical table of truth
ozgurhepsag/Logic-Expression-Simplifier
Purpose of this project is to simplify sum-of-product logic expressions.
AlexanderBodin/truelies
Truelies - A truth-table cheat sheet for the command-line
AsadiAhmad/Truth-table
Truth Table generator with Java for discrete mathematics Course
chicolucio/exercicios-logica-ttg
Exercícios e exemplos de lógica usando o truth-table-generator (ttg)
D3lph1/Boollet
Boolean algebra toolkit for PHP
Grv-Singh/Data-Structure-Algorithms
Find my approach on following Challenges (Mathematical & Logical) 💡 based on 📚 Data Structure & Algorithms. 📐
IamFlea/BLIF-to-truth-table
Parses BLIF (Berkeley Logic Interchange Format) to a truth table which is easier for parsing in Genetic Programming Algorithms
joshuacrotts/formal-logic-aiding-tutor
This is an extension of LLAT (the Logic-Learning Assistance Tool) which aims to improve its pedagogical value and UI, rather than being a mere solution provider.
reecemartin/binaryneuralnet
A Binary Multi-Layer Neural Network
sidney-pham/truth-tables
⊻ A truth table generator.
danlutz/karnaughmap
React app for generating Karnaugh maps
PeronGH/CPT107-Revision
Various materials for reviewing CPT107 and scripts for specific calculations
salahsheikh/boolean-decomposer
Parses and computes a truth table for any logical expression using ANTLR4
ShaanCoding/Boolean-Expression-Solver
A simple boolean expression validator, creating truth tables for boolean expressions
youssefAli11997/Truth-Table-Generator
A desktop application that takes boolean expressions as input and generates their truth tables and does other related operations.
benrosenberg/truth-table-generator
Truth table generator written in Python.
savq/TruthTables.jl
Truth table generator