Tablas de verdad
Se usa V para verdadero y F para falso.
$((p\lor q)\land p)$
| p | q | p\lor q | (p\lor q)\land p |
|---|---|---|---|
| V | V | V | V |
| V | F | V | V |
| F | V | V | F |
| F | F | F | F |
$[p\lor(q\land r)]\lor r$
Primero se calcula q\land r; después, p\lor(q\land r); finalmente se aplica la disyunción con r.
| p | q | r | q\land r | p\lor(q\land r) | [p\lor(q\land r)]\lor r |
|---|---|---|---|---|---|
| V | V | V | V | V | V |
| V | V | F | F | V | V |
| V | F | V | F | V | V |
| V | F | F | F | V | V |
| F | V | V | V | V | V |
| F | V | F | F | F | F |
| F | F | V | F | F | V |
| F | F | F | F | F | F |
$[((r\land p)\land q)\land p]$
| p | q | r | r\land p | (r\land p)\land q | [((r\land p)\land q)\land p] |
|---|---|---|---|---|---|
| V | V | V | V | V | V |
| V | V | F | F | F | F |
| V | F | V | V | F | F |
| V | F | F | F | F | F |
| F | V | V | F | F | F |
| F | V | F | F | F | F |
| F | F | V | F | F | F |
| F | F | F | F | F | F |








