Puzzle solvers and other utilities developed with Prolog.

Boolean expression simplifier and visualizer

Re-adapted implementation of Adversarial neural network model described in Learning to Protect Communications with Adversarial Neural Cryptography (Martín Abadi & David G. Andersen, 2016). The primary code is authored by Liam Schoneveld (https://nlml.github.io/neural-networks/adversarial-neural-cryptography/).

Generate truth tables from boolean expressions in Python source code

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

A simple program that demonstrates how a Truth Table works

🧮 This is a truth table generator I am making for fellow students to use in my Discrete Math Class.

Rigid body tracking with HTC Vive trackers

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.

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

React app for generating Karnaugh maps

A Binary Multi-Layer Neural Network

Boolean Expression Truth Table Builder

An Inference Engine based on Propositional Calculus written in Common Lisp

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

Functional alternatives to complex and incongruent if/else statements

Solucionador de tablas de activación, Mapas de karnaugh, representación en miniterminos y maxiterminos, y diagramación de circuitos lógicos usando compuertas AND y OR

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

Utility to create truth tables out of simple expressions