Algebra de proposiciones

Son operaciones lógicas que se realizan en una formula proposicional, aplicando adecuadamente ciertas reglas básicas llamadas leyes lógicas. Es decir, al igual que en algebra básica donde la simplificación de expresiones algebraicas es muy importante, en lógica también existe la necesidad de simplificar formulas proposicionales complejas, a través de ciertas equivalencias llamadas leyes lógicas, que a continuación se listan:

Simplificación de fórmulas proposicionales

Se trata de transformar una formula proposicional en otra equivalente a ella pero lo más reducida posible. Para lo cual se debe usar oportuna y correctamente las leyes lógicas. Así mismo, deben especificarse en cada paso la ley o leyes que fueron utilizadas.