| ( p ) | ( \neg p ) | |--------|--------------| | V | F | | F | V | Problem: Build the truth table for ( p \land q ).
| ( p ) | ( q ) | ( p \land q ) | |--------|--------|----------------| | V | V | V | | V | F | F | | F | V | F | | F | F | F | Problem: Build the truth table for ( p \lor q ).
( p, q, r ) → ( 2^3 = 8 ) rows.
| ( p ) | ( q ) | ( r ) | ( p \lor q ) | ( \neg r ) | ( (p \lor q) \to \neg r ) | |--------|--------|--------|----------------|--------------|-----------------------------| | V | V | V | V | F | F | | V | V | F | V | V | V | | V | F | V | V | F | F | | V | F | F | V | V | V | | F | V | V | V | F | F | | F | V | F | V | V | V | | F | F | V | F | F | V (F → F = V) | | F | F | F | F | V | V (F → V = V) | Problem: Show that ( (p \to q) \lor (q \to p) ) is a tautology (always true).
| ( p ) | ( q ) | ( p \to q ) | ( q \to p ) | ( (p \to q) \lor (q \to p) ) | |--------|--------|--------------|--------------|-------------------------------| | V | V | V | V | V | | V | F | F | V | V | | F | V | V | F | V | | F | F | V | V | V | --- Logica Matematica Tablas De Verdad Ejercicios Resueltos
| ( p ) | ( q ) | ( p \lor q ) | |--------|--------|----------------| | V | V | V | | V | F | V | | F | V | V | | F | F | F | Problem: Build the truth table for ( p \to q ).
| ( p ) | ( q ) | ( p \land q ) | ( \neg(p \land q) ) | ( \neg p ) | ( \neg q ) | ( \neg p \lor \neg q ) | |--------|--------|----------------|-----------------------|--------------|--------------|--------------------------| | V | V | V | F | F | F | F | | V | F | F | V | F | V | V | | F | V | F | V | V | F | V | | F | F | F | V | V | V | V | | ( p ) | ( \neg p
( p, q, r, p \lor q, \neg r, (p \lor q) \to \neg r ).