В формулах опустите излишние скобки и упростите выска-зывание: 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 → (D v C)) → B); 1) ((A v B) → C) v (D = ((BC) v A))); e) ((C → (Av B)) → ((C v D) → (AB))).

Для упрощения логических высказываний и опускания излишних скобок, давайте рассмотрим каждое из предложенных вами выражений. Мы будем использовать правила логической импликации и логического сложения. Для начала, напомним, что: - \( 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) \] В результате наших преобразований по всем пунктам, предпочтительным упрощением можно считать, что мы добились простоты без лишних скобок и сопоставимости с основными логическими законами. Это упрощение помогает в транспортировке логической структуры выражений к более понятному уровню.