(-A V B) V (B V C) V (A & C)

Решение:

Данное логическое выражение представляет собой дизъюнкцию трех составляющих: \( (\neg A \lor B) \lor (B \lor C) \lor (A \land C) \).

Для упрощения выражения воспользуемся свойствами логических операций:

1. Ассоциативность дизъюнкции:
\[ (\neg A \lor B) \lor (B \lor C) \lor (A \land C) = \neg A \lor B \lor B \lor C \lor (A \land C) \]
2. Идемпотентность дизъюнкции: \( B \lor B = B \)
\[ \neg A \lor B \lor C \lor (A \land C) \]
3. Распределительное свойство (дистрибутивность): \( P \lor (Q \land R) \equiv (P \lor Q) \land (P \lor R) \)

В данном случае мы можем применить его к \( B \lor (A \land C) \) или \( \neg A \lor (A ∧ C) \). Давайте рассмотрим второй вариант, так как он может привести к упрощению.

Используя \( P \lor (Q ∧ R) \equiv (P ∧ Q) ∧ (P ∧ R) \) это не совсем подходит. Лучше использовать \( (P ∧ ¬ P) ∨ Q ≡ Q \) или \( (P ∨ ¬ P) ∧ Q ≡ Q \).

Рассмотрим выражение \( \neg A \lor B \lor C \lor (A \land C) \).

Сгруппируем члены:

\[ (\neg A \lor (A \land C)) \lor (B \lor C) \]

Используем правило \( \neg P \lor (P ∧ Q) ≡ \neg P ∨ Q \). В нашем случае \( P=A \) и \( Q=C \).

\[ (\neg A \lor C) \lor (B \lor C) \]

Теперь используем ассоциативность и идемпотентность для \( C \lor C \) = \( C \).

\[ \neg A \lor C \lor B \]

Переставим члены для более привычного вида:

\[ B \lor C \lor \neg A \]

Это эквивалентно \( \neg A \lor B \lor C \).

Альтернативный подход с использованием таблицы истинности или построения КНФ/ДНФ подтвердил бы эквивалентность.

Проверка:

Если A=1, B=0, C=0:

\( (\neg 1 \lor 0) \lor (0 \lor 0) \lor (1 \land 0) = (0 \lor 0) \lor 0 \lor 0 = 0 \lor 0 \lor 0 = 0 \)

\( \neg A \lor B \lor C = \neg 1 \lor 0 \lor 0 = 0 \lor 0 \lor 0 = 0 \)

Если A=0, B=1, C=0:

\( (\neg 0 \lor 1) \lor (1 \lor 0) \lor (0 \land 0) = (1 \lor 1) \lor 1 \lor 0 = 1 \lor 1 \lor 0 = 1 \)

\( \neg A \lor B \lor C = \neg 0 \lor 1 \lor 0 = 1 \lor 1 \lor 0 = 1 \)

Ответ: Выражение эквивалентно \( \neg A \lor B \lor C \).