4.2.3 Elaboración de una tabla de verdad

 

La elaboración de tablas de verdad para expresiones booleanas es similar a la de la lógica proposicional.[8]

Un ejemplo de ello es la siguiente expresión de lógica proposicional:

1. (p ^ q) v (q ^ ¬r)

Que es equivalente a:

2. AB + BC'

La tabla de verdad de la expresión 1 es:

 

 

La tabla de verdad de la expresión 2 es: