Procedimiento 4.1 (Tablas de verdad)
Dada una proposición
![$\phi(x_1,\ldots,x_n)$](img737.png)
con
![$n$](img40.png)
variables
proposicionales, enumere
![$\mbox{\rm Dos}^n=\{0,1\}^n$](img1343.png)
y evalúe el valor de
verdad de
![$\phi$](img685.png)
para cada una de las
![$2^n$](img560.png)
asignaciones, cada una de las cuales se colocará en uno de dos arreglos de asignaciones: Aquel correspondiente a las asignaciones que satisfacen la proposición y aquel correspondiente a las asignaciones que refutan a la proposición.