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

An Inference Engine based on Propositional Calculus written in Common Lisp

Rigid body tracking with HTC Vive trackers

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.

A simple function to simplify boolean algebra expressions, inspired by Karnaugh Map.

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

Truth Table generator with Java for discrete mathematics Course

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.

Print lovely formatted truth tables from any boolean logic expression!

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.

Classical logic truth table magma algebra

Swift protocol which helps both Devs and QAs on writing human-readable and easy editable tests using the logical table of truth

Various materials for reviewing CPT107 and scripts for specific calculations

Find my approach on following Challenges (Mathematical & Logical) 💡 based on 📚 Data Structure & Algorithms. 📐

Purpose of this project is to simplify sum-of-product logic expressions.

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

💫 CCOMPORG - COMPUTER ORGANIZATION AND ARCHITECTURE

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

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.

Boolean algebra toolkit for PHP

⊻ A truth table generator.

vhdl

Truelies - A truth-table cheat sheet for the command-line