Free Online Truth Table for Laws of Form Expressions - React App - George Spencer Brown

The designing of a simple general purpose processor using VHDL and Quartus II. Design consists of 2 latches, 4 seven segment displays, an arithmetic logic unit, a FSM, and a 4x16 decoder.

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 (¬, ∧, ∨, →, ↔).