1) проверьте, обладает ли операция импликации ассоциативностью? (A->B) -> C = A -> (B->C) 2) упростите логическую формулу (AvB&C͞)&(A&B&CvA&B)

Давайте разберем вашу задачу шаг за шагом.

Задача 1: Проверка ассоциативности операции импликации

Импликация (A -> B) означает "если A, то B". Мы хотим выяснить, является ли эта операция ассоциативной, то есть если выполняется равенство:

\[ (A \to B) \to C = A \to (B \to C) \]

Проверка на ассоциативность

1. Разберем левую часть: \((A \to B) \to C\)

   • Это эквивалентно выражению \( \neg(A \to B) \lor C \).
   • Сначала подставим импликацию: \[ A \to B \equiv \neg A \lor B \]
   • Теперь подставим это в левую часть: \[ (A \to B) \to C \equiv (\neg A \lor B) \to C \equiv \neg(\neg A \lor B) \lor C \]
   • По законам логики: \[ \neg(\neg A \lor B) \equiv A \land \neg B \]
   • Подставляем обратно: \[ (A \land \neg B) \lor C \]

2. Теперь разобьем правую часть: \(A \to (B \to C)\)

   • Подставим импликацию: \[ B \to C \equiv \neg B \lor C \]
   • Теперь правую часть выражения можно превратить: \[ A \to (B \to C) \equiv A \to (\neg B \lor C) \equiv \neg A \lor (\neg B \lor C) \]
   • Это упрощается до: \[ \neg A \lor \neg B \lor C \]

Сравнение двух частей

Теперь у нас есть два выражения:

1. Левое: \((A \land \neg B) \lor C\)
2. Правое: \(\neg A \lor \neg B \lor C\)

Чтобы они были равны, необходимо, чтобы они всегда были истинными при любых значениях переменных. Поскольку они имеют разные формы, операции не ассоциативны. Таким образом:

\[ (A \to B) \to C \neq A \to (B \to C) \]

Ответ: Операция импликации не обладает ассоциативностью.

Задача 2: Упрощение логической формулы

Формула, которую мы хотим упростить, выглядит следующим образом: \[ (A \lor (B \land \neg C)) \land (A \land B \land (C \lor A \land B)) \]

Шаги упрощения

1. Раскроем обе части:

   • Первая часть: \(A \lor (B \land \neg C)\).
   • Вторая часть: \(A \land B \land (C \lor (A \land B))\).

2. Упростим вторую часть \(C \lor (A \land B)\) с учетом \(A \land B\):

   • По закону поглощения, эта часть может быть упрощена до \(A \land B \lor C\).
   • Тогда получаем: \[ A \land B \land (C \lor A \land B) = A \land B \]

3. Теперь вся формула выглядит как: \[ (A \lor (B \land \neg C)) \land (A \land B) \]

4. Применим дистрибутивность:

   • Раскроем по дистрибутивному закону: \[ = A \land B \lor (B \land \neg C \land A \land B) \]
   • Но \(B \land A \land \neg C\) можно рассматривать в контексте \(A\) и \(B\): \[ = A \land B \]

Конечный ответ

Упрощенная формула — это: \[ A \land B \]

Таким образом, получаем значение вашей логической формулы как \(A \land B\).