truth-table
Here are 118 public repositories matching this topic...
Language:All
Sort:Most stars
a Pythonic toolkit for working with Boolean expressions
- Updated
Nov 8, 2024 - Python
truth-table-generator is a tool that allows to generate a truth table
- Updated
Nov 8, 2023 - Python
根据逻辑表达式生成对应真值表 (Generate corresponding truth table from logical expression)
- Updated
Jul 5, 2022 - Vue
Generates truth tables for formulas of sentential logic
- Updated
Aug 30, 2024 - JavaScript
Rigid body tracking with HTC Vive trackers
- Updated
May 5, 2018 - C++
An Inference Engine based on Propositional Calculus written in Common Lisp
- Updated
Jan 13, 2025 - Common Lisp
A library to create, minimize and optimize binary decision diagramshttps://github.com/pubkey/binary-decision-diagram
- Updated
Mar 12, 2025 - TypeScript
A simple function to simplify boolean algebra expressions, inspired by Karnaugh Map.
- Updated
Jun 6, 2021 - Python
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.
- Updated
Nov 18, 2024 - JavaScript
Truth table generator, (basic) proof builder, and more, built with Next.js and Ohm
- Updated
Dec 17, 2023 - TypeScript
Truth Table generator with Java for discrete mathematics Course
- Updated
Oct 20, 2023 - Java
Generate truth table according to logic expressions
- Updated
Dec 24, 2021 - Python
On our page you can calculate logic expressions, or make an account and create or solve logic riddles.
- Updated
Apr 15, 2022 - PHP
Print lovely formatted truth tables from any boolean logic expression!
- Updated
Sep 11, 2024 - Python
Proofmood is a computer logic system specifically tailored for Fitch calculus, covering propositional logic, first-order logic, and type theory.
- Updated
Nov 1, 2023 - Jupyter Notebook
A handy utility for propositional logic.
- Updated
Jul 8, 2023 - Python
A small LaTeX package for generating truth tables automatically.
- Updated
Sep 16, 2023 - TeX
Classical logic truth table magma algebra
- Updated
Nov 22, 2023 - Julia
Swift protocol which helps both Devs and QAs on writing human-readable and easy editable tests using the logical table of truth
- Updated
Apr 19, 2021 - Swift
Find my approach on following Challenges (Mathematical & Logical) 💡 based on 📚 Data Structure & Algorithms. 📐
- Updated
Oct 3, 2020 - C
Improve this page
Add a description, image, and links to thetruth-table topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with thetruth-table topic, visit your repo's landing page and select "manage topics."