La simplificación de una proposición,odicho de otra manera,la

simplificación de una expresión lógica consiste en reducir la expresión

lógicaauna forma más simple mediante el uso de los axiomasy/o

leyes lógicas.

La simplificación consiste en ir desarrollando la expresión pasoapaso

mediante la sustitución en cada paso de una expresión lógica

equivalenteala anterior,hasta llegarauna expresión lógica

irreducible.

Através de la simplificación podemos también demostrar una

equivalencia lógica sin usar tablas de verdad.