Tabela verdade de ((A→B)↔(¬A∨B))
((A→B)↔(¬A∨B))
Propriedades: Tautologia
| A | B | ((A→B)↔(¬A∨B)) |
|---|---|---|
| Falso | Falso | Verdadeiro |
| Verdadeiro | Falso | Verdadeiro |
| Falso | Verdadeiro | Verdadeiro |
| Verdadeiro | Verdadeiro | Verdadeiro |
((A→B)↔(¬A∨B))
Propriedades: Tautologia
| A | B | ((A→B)↔(¬A∨B)) |
|---|---|---|
| Falso | Falso | Verdadeiro |
| Verdadeiro | Falso | Verdadeiro |
| Falso | Verdadeiro | Verdadeiro |
| Verdadeiro | Verdadeiro | Verdadeiro |