Таблица истинности для ((A→B)↔(¬A∨B))
((A→B)↔(¬A∨B))
Свойства: Тавтология
| A | B | ((A→B)↔(¬A∨B)) |
|---|---|---|
| Ложно | Ложно | Истинно |
| Истинно | Ложно | Истинно |
| Ложно | Истинно | Истинно |
| Истинно | Истинно | Истинно |
((A→B)↔(¬A∨B))
Свойства: Тавтология
| A | B | ((A→B)↔(¬A∨B)) |
|---|---|---|
| Ложно | Ложно | Истинно |
| Истинно | Ложно | Истинно |
| Ложно | Истинно | Истинно |
| Истинно | Истинно | Истинно |