A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram
-
Updated
May 29, 2024 - TypeScript
A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram
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.
Simplify logical analysis with our easy-to-use truth table generator. Quickly evaluate your Boolean expressions and view the corresponding truth table in real-time. A handy tool for students and professionals.
Um código em Go que gera a tabela verdade de uma expressão lógica.
logi.js is a JavaScript library for working with Boolean algebra, logical expressions, truth tables, the Quine-McCluskey algorithm, timing diagrams, and more.
Visit https://downtothecircuits.com/?p=2677 for more information
Windows console application for validating truth tables
Enter a truth table and get the most optimised logic expression generated using k-maps. (work in progress)
This is a program for generating truth table upto n variables.
Truth table evaluator and Truth table enum module generator.
Truth table generator, (basic) proof builder, and more, built with Next.js and Ohm
Classical logic truth table magma algebra
proposition logic - truth table generator
truth-table-generator is a tool that allows to generate a truth table
Math logic calculator and truth table for n variables.
Proofmood is a computer logic system specifically tailored for Fitch calculus, covering propositional logic, first-order logic, and type theory.
Truth Table generator with Java for discrete mathematics Course
A small LaTeX package for generating truth tables automatically.
A calculator for various things in Discrete Mathematics
This repository contains various program files deployed using streamlit
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."