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

Упростить логические функции: 7.

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

Условие:

Упростить логические функции:

  1. B∨A∧AˉB \vee A \wedge \bar{A}
  2. C∨B∨BˉC \vee B \vee \bar{B}
  3. (A∨Aˉ)∧B∧C(A \vee \bar{A}) \wedge B \wedge C
  4. B∧C∧Cˉ∧DB \wedge C \wedge \bar{C} \wedge D
  5. (Xˉ∨Yˉ)∧X(\bar{X} \vee \bar{Y}) \wedge X
  6. ((X∨Y)∧Yˉ)∨(X∧Y)((X \vee Y) \wedge \bar{Y}) \vee(X \wedge Y)
  7. ((((X‾‾)>∧Y‾‾)∨Xˉ)∨Xˉ)∧X∨(X‾‾∧Y‾)‾((((\overline{\overline{X}})>\wedge\overline{\overline{Y}})\vee\bar{X})\vee\bar{X})\wedge\overline{X\vee(\overline{\overline{X}}\wedge\overline{Y})}

Решение:

1. Упрощение B∨A∧AˉB \vee A \wedge \bar{A}

Согласно законам логики, A∧Aˉ=0A \wedge \bar{A} = 0 (так как AA и его отрицание не могут быть одновременно истинными). Поэтому:

\nB∨A∧Aˉ=B∨0=B\nB \vee A \wedge \bar{A} = B \vee 0 = B

2. Упрощение C∨B∨BˉC \vee B \vee \bar{B}

Согласно законам логики, B∨Bˉ=1B \vee \bar{B} = 1 (так как BB либо истинно, либо ложно). Таким образом:

\nC∨B∨Bˉ=C∨1=1\nC \vee B \vee \bar{B} = C \vee 1 = 1

3. Упрощение (A∨Aˉ)∧B∧C(A \vee \bar{A}) \wedge B \wedge C

Согласно законам логики, A∨Aˉ=1A \vee \bar{A} = 1. Следовательно:

(A∨Aˉ)∧B∧C=1∧B∧C=B∧C (A \vee \bar{A}) \wedge B \wedge C = 1 \wedge B \wedge C = B \wedge C

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

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

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

Какое логическое свойство используется для упрощения выражения $A \wedge \bar{A}$?

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

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

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

Топ 3 ошибок

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

Похожие задачи

Похожие задачи

Не нашел нужную задачу?Воспользуйся поиском

AI помощники

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

E
S
А
Б
В
Г
Д
Е
Ж
З
И
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
Ц
Ч
Э
Я