Truth table for ((A→B)↔(¬A∨B))
((A→B)↔(¬A∨B))
Properties: Tautology
| A | B | ((A→B)↔(¬A∨B)) |
|---|---|---|
| False | False | True |
| True | False | True |
| False | True | True |
| True | True | True |
((A→B)↔(¬A∨B))
Properties: Tautology
| A | B | ((A→B)↔(¬A∨B)) |
|---|---|---|
| False | False | True |
| True | False | True |
| False | True | True |
| True | True | True |