1. Главная
  2. Библиотека
  3. Логика
  4. Преобразовать булеву функцию а) в конъюнктивную нормаль...
Разбор задачи

Преобразовать булеву функцию а) в конъюнктивную нормальную форму; б) в дизъюнктивную нормальную форму.

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

Условие:

Преобразовать булеву функцию а) в конъюнктивную нормальную форму; б) в дизъюнктивную нормальную форму.

f(x,y,z)=(xz+yzˉ)(yzxzˉ) f(x, y, z)=(x z+y \bar{z}) \rightarrow(y z \vee x \bar{z})

Решение:

Для преобразования булевой функции в конъюнктивную нормальную форму (КНФ) и дизъюнктивную нормальную форму (ДНФ), начнем с функции:

f(x,y,z)=(xz+yzˉ)(yzxzˉ).f(x, y, z) = (xz + y\bar{z}) \rightarrow (yz \vee x\bar{z}).

Шаг 1: Упростим выражение. Используем правило импликации AB=Aˉ+BA \rightarrow B = \bar{A} + B:

f(x,y,z)=(xz+yzˉ)ˉ+(yzxzˉ).f(x, y, z) = \bar{(xz + y\bar{z})} + (yz \vee x\bar{z}).

Теперь найдем (xz+yzˉ)ˉ\bar{(xz + y\bar{z})}:

(xz+yzˉ)ˉ=xzˉ(yzˉ)ˉ=(xˉ+zˉ)(yˉ+z). \bar{(xz + y\bar{z})} = \bar{xz} \cdot \bar{(y\bar{z})} = (\bar{x} + \bar{z})(\bar{y} + z).

Теперь подставим это в функцию:

f(x,y,z)=(xˉ+zˉ)(yˉ+z)+(yzxzˉ).f(x, y, z) = (\bar{x} + \bar{z})(\bar{y} + z) + (yz \vee x\bar{z}).

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

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

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

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

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

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

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

Топ 3 ошибок

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

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

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

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