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

Rigid body tracking with HTC Vive trackers

An Inference Engine based on Propositional Calculus written in Common Lisp

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

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.

Print lovely formatted truth tables from any boolean logic expression!

A handy utility for propositional logic.

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

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

Boolean algebra toolkit for PHP