Francisco Díaz Montilla
El método de las tablas de verdad es un método ampliamente usado en lógica de juntores para probar la validez de fórmula o de razonamientos. A pesar de que el método permite decidir el valor de cada fórmula, puede resultar engorroso cuando se trata de fórmulas complejas...
http://doxa-filosofica.blogspot.com/2011/02/v-behaviorurldefaultvmlo_10.html