В формулах опустите излишние скобки и упростите выска-зывание: a) (((Av B) → (CD)) → (AvC)); б) ((B → A v C)) v ((4 v B) → C); в) ((A y (BC)) → ((CD) v B)); r) (((AC) → (B v D)) Y…

Для упрощения логических высказываний и опускания излишних скобок, давайте рассмотрим каждое из предложенных вами выражений. Мы будем использовать правила логической импликации и логического сложения.

Для начала, напомним, что:

• \( A \rightarrow B \) эквивалентно \( \neg A \vee B \) (импликация преобразуется в дизъюнкцию).
• \( A \land B \) эквивалентно \( B \land A \) (конъюнкция коммутативна).
• \( A \vee B \) эквивалентно \( B \vee A \) (дизъюнкция коммутативна).
• \( A \land (B \vee C) \) эквивалентно \( (A \land B) \vee (A \land C) \) (дистрибутивный закон).

Теперь разберем каждое из высказываний:

а) \((((A \vee B) \rightarrow (C \land D)) \rightarrow (A \vee C))\)

1. Применяем правило импликации: \[ ((\neg(A \vee B) \vee (C \land D)) \rightarrow (A \vee C)) \]
2. Упрощаем: \[ \neg(A \vee B) \vee (C \land D) \vee (A \vee C) \]
3. Используем правило дистрибуции на \(\neg(A \vee B)\): \[ (\neg A \land \neg B) \vee (C \land D) \vee A \vee C \]
4. Объединяем все элементы: \[ A \vee C \vee (C \land D) \vee \neg A \vee \neg B \]
5. В итоге: \[ A \vee C \vee \neg B \vee D \]

б) \(((B \rightarrow A \vee C) \vee ((4 \vee B) \rightarrow C))\)

1. Применяем правило импликации: \[ (\neg B \vee (A \vee C)) \vee (\neg(4 \vee B) \vee C) \]
2. Упрощаем: \[ (\neg B \vee A \vee C) \vee ((\neg 4 \land \neg B) \vee C) \]
3. Упрощаем дальнейшие элементы: \[ \neg B \vee A \vee C \] Теперь, учитывая, что \(C\) уже включен в результаты, по сути мы можем убрать повторение: \[ A \vee C \vee \neg B \]

в) \(((A \land (B \land C)) \rightarrow ((C \land D) \vee B))\)

1. Применяем правило импликации: \[ \neg(A \land (B \land C)) \vee ((C \land D) \vee B) \] \[ (\neg A \vee \neg(B \land C)) \vee ((C \land D) \vee B) \]
2. Упрощаем \(\neg(B \land C)\): \[ \neg A \vee (\neg B \vee \neg C) \vee C \vee D \vee B \]
3. Объединяем элементы: \[ \neg A \vee \neg B \vee \neg C \vee B \vee C \vee D \] \[ \neg A \vee D \vee C \]

r) \((((A \land C) \rightarrow (B \vee D)) \land (A \rightarrow (D \vee C)) \rightarrow B)\)

1. Применяем правило импликации: \[ (\neg(A \land C) \vee (B \vee D)) \land (\neg A \vee (D \vee C)) \rightarrow B \]
2. Упрощаем: \[ \neg(A \land C) \vee (B \vee D) \vee \neg A \vee D \vee C \]
3. Объединяем элементы: \[ B \vee D \vee C \vee \neg A \]

1) \(((A \vee B) \rightarrow C) \vee (D = ((B \land C) \vee A))\)

1. Применяем правило импликации: \[ (\neg(A \vee B) \vee C) \vee ((B \land C) \vee A) \]
2. Упрощаем: \[ (\neg A \land \neg B) \vee C \vee (B \land C) \vee A \]
3. Объединяем элементы: \[ A \vee C \]

e) \(((C \rightarrow (A \vee B)) \rightarrow ((C \vee D) \rightarrow (A \land B)))\)

1. Применяем правило импликации: \[ (\neg C \vee (A \vee B)) \rightarrow (\neg(C \vee D) \vee (A \land B)) \] \[ \neg(\neg C \vee (A \vee B)) \vee (\neg(C \vee D) \vee (A \land B)) \]
2. Упрощаем: \[ (C \land \neg A \land \neg B) \vee (\neg C \land \neg D) \vee (A \land B) \]

В результате наших преобразований по всем пунктам, предпочтительным упрощением можно считать, что мы добились простоты без лишних скобок и сопоставимости с основными логическими законами. Это упрощение помогает в транспортировке логической структуры выражений к более понятному уровню.