7. Составьте таблицу истинности для выражения: ¬X & (¬Y ∨ ¬X)

Для составления таблицы истинности нам понадобятся столбцы для переменных X, Y, а также для промежуточных выражений ¬X, ¬Y и для всего выражения ¬X & (¬Y ∨ ¬X).

Пояснение:

• ¬X (НЕ X) — инверсия значения X (0 становится 1, 1 становится 0).
• ¬Y (НЕ Y) — инверсия значения Y.
• ¬Y ∨ ¬X (НЕ Y ИЛИ НЕ X) — истинно, если хотя бы одно из ¬Y или ¬X истинно.
• ¬X & (¬Y ∨ ¬X) (НЕ X И (НЕ Y ИЛИ НЕ X)) — истинно, только если оба выражения (¬X и (¬Y ∨ ¬X)) истинны.

Ответ: Таблица истинности представлена выше.