GGGGGG8888888867647456745 FALSE
| ( ~ (A ↓ A)) ↔ A | ||
 | B |
0
Truth check table
| Case | A | B | ( ~ (A ↓ A)) ↔ A |
|---|---|---|---|
| 1 | T | T | T |
| 2 | T | F | T |
| 3 | F | T | T |
| 4 | F | F | T |
Public: Yes;
Show truth table: Yes;
| ( ~ (A ↓ A)) ↔ A | ||
| B |
| Case | A | B | ( ~ (A ↓ A)) ↔ A |
|---|---|---|---|
| 1 | T | T | T |
| 2 | T | F | T |
| 3 | F | T | T |
| 4 | F | F | T |