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

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

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

Условие:

Упростить логические формулы: x3∨x4∨xˉ1x3xˉ4∨x1xˉ2xˉ3∨xˉ1xˉ2x3x4∨x1x3xˉ4x_{3} \vee x_{4} \vee \bar{x}_{1} x_{3} \bar{x}_{4} \vee x_{1} \bar{x}_{2} \bar{x}_{3} \vee \bar{x}_{1} \bar{x}_{2} x_{3} x_{4} \vee x_{1} x_{3} \bar{x}_{4}

Решение:

Дано:

F=x3∨x4∨xˉ1x3xˉ4∨x1xˉ2xˉ3∨xˉ1xˉ2x3x4∨x1x3xˉ4F = x_{3} \vee x_{4} \vee \bar{x}_{1} x_{3} \bar{x}_{4} \vee x_{1} \bar{x}_{2} \bar{x}_{3} \vee \bar{x}_{1} \bar{x}_{2} x_{3} x_{4} \vee x_{1} x_{3} \bar{x}_{4}

Найти: Упростить формулу FF.

Решение:

  1. Запишем исходную формулу:
    F=x3∨x4∨xˉ1x3xˉ4∨x1xˉ2xˉ3∨xˉ1xˉ2x3x4∨x1x3xˉ4F = x_{3} \vee x_{4} \vee \bar{x}_{1} x_{3} \bar{x}_{4} \vee x_{1} \bar{x}_{2} \bar{x}_{3} \vee \bar{x}_{1} \bar{x}_{2} x_{3} x_{4} \vee x_{1} x_{3} \bar{x}_{4}

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

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

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

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

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

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

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

Топ 3 ошибок

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

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

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

Не нашел нужную задачу?

Воспользуйся поиском

AI помощники

Больше о Кэмпе

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

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