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