boolean expression manipulator for educational purposes

Toolbox for automaton theory, language theory, lambda calculus, propositional logic, and formal semantics. Including simulations, applications, parsers, and algorithm implementations.

⊻ A truth table generator.

Trabalho para a disciplina de lógica para computação.

An Expression Oriented Language with non-strict semantics based on Propositional Calculus and compatible with WFF

A Propositional Logic Interpreter written in Node.js

A Wumpus World Simulator

More representative means

Propositional Logic Theorem Prover written in JavaScript

Editor de Proposiciones Lógicas que permite a los usuarios escribir, editar y calcular fórmulas lógicas de manera interactiva. Con soporte para valores lógicos y representación en LaTeX, es una herramienta útil para aprender y trabajar con lógica proposicional.

Propositional logic formulae parser and implementation of Tableaux method for satisfiability proving of propositional logic formulae.

Herramienta interactiva para generar tablas de verdad a partir de expresiones proposicionales. Está inspirado en la implementación de la Universidad de Stanford y permite a los usuarios ingresar fórmulas lógicas utilizando tanto la sintaxis de LaTeX como símbolos lógicos comunes (¬, ∧, ∨, →, ↔).

truth table calculator

Web-based natural deduction proof assistant

Convert Proposition Trees to Conjunctive Normal Form (CNF) or Disjunctive Normal Form (DNF)

Program to generate propositional logic problems