Bảng chân trị của ((A→B)↔(¬A∨B))
((A→B)↔(¬A∨B))
Thuộc tính: Hằng đúng
| A | B | ((A→B)↔(¬A∨B)) |
|---|---|---|
| Sai | Sai | Đúng |
| Đúng | Sai | Đúng |
| Sai | Đúng | Đúng |
| Đúng | Đúng | Đúng |
((A→B)↔(¬A∨B))
Thuộc tính: Hằng đúng
| A | B | ((A→B)↔(¬A∨B)) |
|---|---|---|
| Sai | Sai | Đúng |
| Đúng | Sai | Đúng |
| Sai | Đúng | Đúng |
| Đúng | Đúng | Đúng |