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