All Categories → No Category → truth-table

Top 3 truth-table open source projects

An Inference Engine based on Propositional Calculus written in Common Lisp

✭ 36

common lisp Makefile Dockerfile propositional-logic truth-table inference-engine propositional-calculus inference-rules lisp-inference

truth-table-generator

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

✭ 47

Jupyter Notebook python logic truth-tables truth-table truth-table-generator ttg pandas-styling

binary-decision-diagram

A library to create, minimize and optimize binary decision diagrams

✭ 20

typescript bdd binary-decision-diagrams truth-table robdd binary-decision-tree mtbdd binary-decision-diagram

1-3 of 3 truth-table projects