Вот как можно построить схему и привести таблицу истинности для выражения ¬(B ∨ A).
Схема (описание)
- Входы: A, B
- Первый элемент: OR-ворота (A ∨ B)
- Второй элемент: NOT-ворота, его вход — выход OR-вороты
- Выход: ¬(A ∨ B)
ASCII-схема A ──┐ OR ──┐ B ──┘ └─ NOT ── Output
Таблица истинности A B | A ∨ B | ¬(A ∨ B) 0 0 | 0 | 1 0 1 | 1 | 0 1 0 | 1 | 0 1 1 | 1 | 0
Примечание: по формулам Де Моргана ¬(A ∨ B) = ¬A ∧ ¬B, таблица для ¬A ∧ ¬B совпадает с вышеуказанной. Если хотите, могу привести таблицу и для этой эквивалентности.