Tavola di verità di (¬(A∧B)↔(¬A∨¬B))
(¬(A∧B)↔(¬A∨¬B))
Proprietà: Tautologia
| A | B | (¬(A∧B)↔(¬A∨¬B)) |
|---|---|---|
| Falso | Falso | Vero |
| Vero | Falso | Vero |
| Falso | Vero | Vero |
| Vero | Vero | Vero |
(¬(A∧B)↔(¬A∨¬B))
Proprietà: Tautologia
| A | B | (¬(A∧B)↔(¬A∨¬B)) |
|---|---|---|
| Falso | Falso | Vero |
| Vero | Falso | Vero |
| Falso | Vero | Vero |
| Vero | Vero | Vero |