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:
|