1. Главная
  2. Библиотека
  3. Логика
  4. Упростить выражения:
Разбор задачи

Упростить выражения:

  • Предмет: Логика
  • Автор: Кэмп
  • #Основы формальной логики
  • #Символическая логика
Упростить выражения:

Условие:

Упростить выражения: $

ABBA&B(A&C)((CB)B)&(A&B)B\begin{array}{l} \overline{A \rightarrow B} \vee B \\ \overline{A \& B} \vee(A \& C) \\ ((C \vee B) \rightarrow B) \&(A \& B) \rightarrow B \end{array}

$

Решение:

  1. Упрощение выражения (\overline{A \rightarrow B} \vee B):

Сначала вспомним, что (A \rightarrow B) эквивалентно (\overline{A} \vee B). Тогда:

(\overline{A \rightarrow B} = \overline{\overline{A} \vee B}).

По закону де Моргана, это можно записать как:

(\overline{\overline{A} \vee B} = A & \overline{B}).

Теперь подставим это в исходное выражение:

(\overline{A \rightarrow B} \vee B = (A & \overline{B}) \vee B).

Теперь упростим это выражение. Мы можем использовать закон поглощения:

((A & \overline{B}) \vee B = B \vee A).

Таким образом, первое выражение упрощается до:

(B \vee A)...

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

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

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

Какое логическое преобразование эквивалентно импликации $A \rightarrow B$?

Что нужно знать по теме:

Что нужно знать по теме

Алгоритм решения

Топ 3 ошибок

Что спросит препод

Выбери предмет