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

Написать СДНФ для функции .

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

Условие:

Написать СДНФ для функции f(x1,x2,x3)=(x1x2)(x2x3)f\left(x_{1}, x_{2}, x_{3}\right)=\overline{\left(x_{1} \wedge x_{2}\right)} \vee\left(x_{2} \rightarrow x_{3}\right).

Решение:

Рассмотрим функцию f(x1, x2, x3) = ¬(x1 ∧ x2) ∨ (x2 → x3).

ШАГ 1. Преобразуем функцию к более удобному виду.
• Напомним, что импликация x2 → x3 равносильна выражению ¬x2 ∨ x3.
• Также ¬(x1 ∧ x2) по закону де Моргана равносильно ¬x1 ∨ ¬x2.
Таким образом, f = (¬x1 ∨ ¬x2) ∨ (¬x2 ∨ x3).

ШАГ 2. Приведём выражение к общему виду дизъюнкции литералов.
Заметим, что дизъюнкция является ассоциативной и коммутативной, поэтому можно записать f = ¬x1 ∨ ¬x2 ∨ x3.

ШАГ 3. Найдём условие, при котором функция равна 0.\nf = ¬x1 ∨ ¬x2 ∨ x3 будет лож...

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

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

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

Какое из следующих утверждений верно относительно построения совершенной дизъюнктивной нормальной формы (СДНФ) для булевой функции?

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

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

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

Топ 3 ошибок

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

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