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 |