Le tavole di verità sono tabelle usate nella logica per determinare se, attribuiti i valori di verità alle proposizioni che la compongono, una determinata proposizione è vera o falsa.
Le tavole di verità della disgiunzione (∨), della doppia implicazione (⇔) e della negazione (¬) sono rispettivamente:A B A∨B A B A⇔B A ¬A +---+---+-----+ +---+---+-----+ +---+----+ | V | V | V | | V | V | V | | V | F | | V | F | V | | V | F | F | | F | V | | F | V | V | | F | V | F | +---+----+ | F | F | F | | F | F | V | +---+---+-----+ +---+---+-----+Qual è la tavola di verità della proposizione P: (A ∨ (¬ B)) ⇔ B)?
Soluzione 1
Calcola la tabella di verità per P un passo alla volta
- ¬B
- A∨(¬B)
- A∨(¬B))⇔B
A B ¬B A∨(¬B) A∨(¬B))⇔B +---+---+----+--------+------------+ | V | V | F | V | V | | V | F | V | V | F | | F | V | F | F | F | | F | F | V | V | F | +---+---+----+--------+------------+
Soluzione 2
PIù leggibile con 0/1 da 00 a 11?
A B ¬B A∨(¬B) A∨(¬B))⇔B +---+---+----+--------+------------+ | 0 | 0 | 1 | 1 | 0 | | 0 | 1 | 0 | 0 | 0 | | 1 | 0 | 1 | 1 | 0 | | 1 | 1 | 0 | 1 | 1 | +---+---+----+--------+------------+