Составить таблицу истинности ) 2) 3)

Добавлена: 01.05.2026
Обновлена: 01.05.2026
Предмет: Логика
Автор: Кэмп

#Основы формальной логики
#Символическая логика

Условие:

Составить таблицу истинности\ni) $x\wedge\bar{y}\rightarrow(\bar{x}\vee y\sim\bar{y})$ 2) $x \rightarrow \bar{y} \rightarrow \overline{x \vee y} \wedge \bar{z}$ 3) $x\sim(\overline{y\wedge\bar{x}\rightarrow z})\vee\bar{y}$

Решение:

─────────────────────────────
Задача 1. Выражение:
x ∧ ¬y → (¬x ∨ (y ∼ ¬y))

Заметим, что символ ∼ здесь мы трактуем как операция исключающего «ИЛИ» (XOR). При этом для любого логического значения y выражение «y XOR ¬y» всегда принимает значение ИСТИНА, так как y и его отрицание всегда различны. То есть независимо от y:
y ∼ ¬y = ИСТИНА

Тогда внутри скобок имеем:
¬x ∨ (ИСТИНА) = ИСТИНА
Поскольку дизъюнкция с истиной всегда даёт истину, наше исходное выражение принимает вид:
(x ∧ ¬y) → ИСТИНА

А правило для...

Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит

Попробуй решить по шагам

Попробуй один шаг и продолжи в режиме обучения или посмотри готовое решение

Какое свойство логических операций позволяет значительно упростить вычисление выражения $ x\wedge\bar{y}\rightarrow(\bar{x}\vee y\sim\bar{y}) $ до того, как составлять полную таблицу истинности?

Закон де Моргана, позволяющий преобразовать дизъюнкцию в конъюнкцию.

Свойство операции исключающего «ИЛИ» (XOR), применённое к переменной и её отрицанию, всегда даёт истину.

Правило импликации, согласно которому $A\rightarrow B$ эквивалентно $\bar{A}\vee B$ .