1.5.3 Tablas semánticas

 

Al igual que los métodos anteriores, las tablas de verdad ayudan a simplificar las expresiones. Como se ha visto en temas anteriores, cuando los valores de verdad de una expresión son iguales a los de otra para los mismos casos, se dice que esas dos expresiones son equivalentes.[2]

Por lo tanto, este método también puede ser utilizado para simplificar expresiones.

Mediante este procedimiento, se han logrado formular algunas leyes para facilitar la resolución de las proposiciones: