A= " l'Inter ha vinto"
B= " il Milan ha vinto"
C= " la Roma ha vinto"
"ieri sera due squadre hanno perso" = (¬A∧¬B∧C)∨(¬A∧B∧¬C)∨(A∧¬B∧¬C)
"ieri sera hanno tutte perso" = ¬A∧¬B∧¬C
"la Roma ha vinto ma l'Inter ha perso " = (¬A∧C)∨B
"non hanno vinto tutte e tre le squadre" = ¬(A∧B∧C) ∨¬(A∨B∨C)
| A | B | C | (¬A∧¬B∧C)∨(¬A∧B∧¬C)∨(A∧¬B∧¬C) | ¬A∧¬B∧¬C | (¬A∧C)∨B | ¬(A∧B∧C) ∨¬(A∨B∨C) |
| V | V | V | F | F | F | F |
| F | V | V | F | F | V | V |
| V | F | V | F | F | F | V |
| F | F | V | V | F | V | V |
| V | V | F | F | F | F | V |
| F | V | F | V | F | F | V |
| V | F | F | V | F | F | V |
| F | F | F | F | V | F | F |