Tabla de verdad de ((A→B)↔(¬A∨B))
((A→B)↔(¬A∨B))
Propiedades: Tautología
| A | B | ((A→B)↔(¬A∨B)) |
|---|---|---|
| Falso | Falso | Verdadero |
| Verdadero | Falso | Verdadero |
| Falso | Verdadero | Verdadero |
| Verdadero | Verdadero | Verdadero |
((A→B)↔(¬A∨B))
Propiedades: Tautología
| A | B | ((A→B)↔(¬A∨B)) |
|---|---|---|
| Falso | Falso | Verdadero |
| Verdadero | Falso | Verdadero |
| Falso | Verdadero | Verdadero |
| Verdadero | Verdadero | Verdadero |