truth-table

a Pythonic toolkit for working with Boolean expressions

Generates truth tables for formulas of sentential logic

An Inference Engine based on Propositional Calculus written in Common Lisp

xFunc is a simple and easy to use application that allows you to build mathematical and logical expressions. It's written on C#. The library includes the code that converts strings to expressions (parser, lexer and etc.)

Rigid body tracking with HTC Vive trackers

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

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

A library to create, minimize and optimize binary decision diagrams

Generate truth table according to logic expressions

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

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 Binary Multi-Layer Neural Network

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

Print lovely formatted truth tables from any boolean logic expression!

A calculator for various things in Discrete Mathematics

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

(deprecated) A truth table calculator!

A python tool for logic clauses analysis and binary operations

React app for generating Karnaugh maps

Boolean Expression Truth Table Builder

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

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

A simple boolean expression validator, creating truth tables for boolean expressions

vhdl

Two's complement two bit multiplier developed in Proteus

Simple proof of consept of a Random Boolean Network inspired by Computerphile

Propositional statement validity check or also check statement is true at least once or not.

Programa que dá a tabela-verdade de uma expressão booleana, escrito em C.