Equival (A → B) ↔ ( ~ A ∨ B) TRUE
| A → B | ||
| ( ~ A) ∨ B | ||
 | (A → B) ↔ ( ~ A ∨ B) |
0
Truth check table
| Case | A | B | A → B | ( ~ A) ∨ B | (A → B) ↔ ( ~ A ∨ B) |
|---|---|---|---|---|---|
| 1 | T | T | T | T | T |
| 2 | T | F | F | F | T |
| 3 | F | T | T | T | T |
| 4 | F | F | T | T | T |
Public: Yes;
Show truth table: Yes;
| A → B | ||
| ( ~ A) ∨ B | ||
| (A → B) ↔ ( ~ A ∨ B) |
| Case | A | B | A → B | ( ~ A) ∨ B | (A → B) ↔ ( ~ A ∨ B) |
|---|---|---|---|---|---|
| 1 | T | T | T | T | T |
| 2 | T | F | F | F | T |
| 3 | F | T | T | T | T |
| 4 | F | F | T | T | T |