Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic

Logic Minimization in Python

Primer proyecto para el curso de Diseño Digital. La idea es hacer una aplicación referente al código Hamming utilizando el lenguaje de programación Python.

A Logic Gate Simulator Using Artificial Deep Neural Networks

Quine-McCluskey Minimization Technique (Tabular-Method) Digital Logic Design