Projects in Awesome Lists tagged with truth-table

https://github.com/welchbj/tt

a Pythonic toolkit for working with Boolean expressions

boolean boolean-algebra boolean-expression python sat sat-solver satisfiability transformations truth-table

Last synced: 16 Sep 2025

https://github.com/chicolucio/truth-table-generator

truth-table-generator is a tool that allows to generate a truth table

logic pandas-styling truth-table truth-table-generator truth-tables ttg

Last synced: 30 Apr 2025

https://github.com/daidr/truth-table

根据逻辑表达式生成对应真值表 (Generate corresponding truth table from logical expression)

logic math truth-table truth-table-generator

Last synced: 02 Dec 2025

https://github.com/ryukinix/lisp-inference

An Inference Engine based on Propositional Calculus written in Common Lisp

common-lisp inference-engine inference-rules lisp-inference propositional-calculus propositional-logic truth-table

Last synced: 21 Jan 2026

https://github.com/asymingt/deepdive

Rigid body tracking with HTC Vive trackers

ground htc localization robotics ros ros-kinetic tracking truth-table vive

Last synced: 18 Sep 2025

https://github.com/pubkey/binary-decision-diagram

A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram

bdd binary-decision-diagram binary-decision-diagrams binary-decision-tree mtbdd robdd truth-table

Last synced: 06 Apr 2025

https://github.com/merlin04/truthtabl.es

Truth table generator, (basic) proof builder, and more, built with Next.js and Ohm

logic nextjs ohm proof proof-assistant symbolic-logic truth-table truth-table-generator truth-tables

Last synced: 14 Apr 2025

https://github.com/luckyforce/logic-riddle

On our page you can calculate logic expressions, or make an account and create or solve logic riddles.

logical-operators php riddle-game truth-table website

Last synced: 20 Aug 2025

https://github.com/tirtharajsinha/vhdl_codes

vhdl

adder circuit-design diagram logic-gate-simulator logic-gates subtractor truth-table universal-gate vhdl vhdl-code

Last synced: 19 Mar 2026

https://github.com/d3lph1/boollet

Boolean algebra toolkit for PHP

boolean-algebra normal-forms sat sat-solver truth-table zhegalkin-polynomial

Last synced: 17 Mar 2026

https://github.com/flexycode/ccomporg

💫 CCOMPORG - COMPUTER ORGANIZATION AND ARCHITECTURE

architectural-patterns architecture boolean-logic computer-architecture computer-organization logic-diagram logic-gates truth-table

Last synced: 02 Feb 2026

https://github.com/chicolucio/exercicios-logica-ttg

Exercícios e exemplos de lógica usando o truth-table-generator (ttg)

logic logica tabela-verdade truth-table truth-table-generator ttg

Last synced: 12 Apr 2025

https://github.com/sidney-pham/truth-tables

⊻ A truth table generator.

boolean-logic propositional-logic truth-table

Last synced: 27 Apr 2025

https://github.com/salahsheikh/boolean-decomposer

Parses and computes a truth table for any logical expression using ANTLR4

antlr4 boolean-algebra boolean-expression-parser java truth-table

Last synced: 04 Mar 2026

https://github.com/youssefali11997/truth-table-generator

A desktop application that takes boolean expressions as input and generates their truth tables and does other related operations.

java swing-gui truth-table truth-table-generator

Last synced: 30 May 2026

https://github.com/chakravala/demorgan.jl

Classical logic truth table magma algebra

algebra boolean-algebra boolean-expression boolean-logic computer-algebra julia logic logical-operators math mathematics proof proof-assistant propositional-logic reasoning truth-table truth-table-generator

Last synced: 26 Dec 2025

https://github.com/khaledhosseini/propositional-logic

propositional logic evaluator that creates truth tables for propositional expressions, written in rust.

boolean-expression boolean-logic propositional-logic rust rust-lang truth-table truth-table-generator

Last synced: 24 Mar 2025

https://github.com/perongh/cpt107-revision

Various materials for reviewing CPT107 and scripts for specific calculations

combinatorics discrete-mathematics propositional-logic truth-table xjtlu xjtlu-student

Last synced: 02 Sep 2025

https://github.com/singhdivyank/quantum

Qiskit implementation of Quantum computing terminologies using Quantum algorithms and gates

circuit-representation matrix-representation qiskit quantum-algorithms quantum-computing quantum-cryptography quantum-error-correction quantum-fourier-transform quantum-gates quantum-teleportation truth-table

Last synced: 01 Jul 2025

https://github.com/savq/truthtables.jl

Truth table generator

julia logic truth-table

Last synced: 05 Apr 2025

https://github.com/leomariga/pytruthtable

A python tool for logic clauses analysis and binary operations

pandas pandas-dataframe python table truth truth-table truth-table-generator

Last synced: 10 Apr 2026

https://github.com/kamdz/logiqual

⚖️ A lightweight library for comparing boolean functions and generating truth tables.

algebra boolean comparison functions logic logical truth-table

Last synced: 05 Mar 2026

https://github.com/kyle-west/truthfulness

🧮 This is a truth table generator I am making for fellow students to use in my Discrete Math Class.

descrete-math javascript truth-table

Last synced: 16 Aug 2025

https://github.com/ashu11-a/truth-table

Formatters for truth tables

abstract-syntax-tree abstract-syntax-trees ast ast-generation ast-interpreter ast-parser ast-transformations ast-tree table table-formatter truth truth-table truth-table-generator truth-tables

Last synced: 23 Jan 2026

https://github.com/inanyan/boolean-algebra

Boolean function truth table generator

boolean-algebra console-application truth-table

Last synced: 01 Nov 2025

https://github.com/InAnYan/boolean-algebra

Boolean function truth table generator

boolean-algebra console-application truth-table

Last synced: 29 Aug 2025

https://github.com/muneeb1030/truth-table-generator-data-structures-cpp

The Truth Table Generator is a C++ program that evaluates logical expressions with NOT, AND, and OR operators. It uses object-oriented programming and data structures to generate truth tables, handling bracketed expressions and converting them to postfix notation for accurate evaluation.

cplusplus cpp postfix-evaluation stack truth-table truth-table-generator

Last synced: 30 Oct 2025

https://github.com/marcoschalet/logicando

Truth table calculator | C++.

cpp qt5 truth-table

Last synced: 15 May 2026

https://github.com/gmostofabd/digital-logic-circuits-and-designs

🚀 This collection contains experiments focusing on the basics of digital logic gates using common ICs, equivalent circuits, and practical implementation using a breadboard. Investigates the functional truth tables of gates and simplification procedures using Boolean math's , Karnaugh mapping, de-Morgan's law etc.

5v basic boolean breadboard circuit combinational-circuit digital electronics equation equivalent-circuit-model gates logic powersupply proteus sequential-circuits simplify simulation truth-table universal