((A→B)↔(¬A∨B)) için doğruluk tablosu
((A→B)↔(¬A∨B))
Özellikler: Totoloji
| A | B | ((A→B)↔(¬A∨B)) |
|---|---|---|
| Yanlış | Yanlış | Doğru |
| Doğru | Yanlış | Doğru |
| Yanlış | Doğru | Doğru |
| Doğru | Doğru | Doğru |
((A→B)↔(¬A∨B))
Özellikler: Totoloji
| A | B | ((A→B)↔(¬A∨B)) |
|---|---|---|
| Yanlış | Yanlış | Doğru |
| Doğru | Yanlış | Doğru |
| Yanlış | Doğru | Doğru |
| Doğru | Doğru | Doğru |