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

Сокращенная ДНФ функции (10111001) имеет вид

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

Условие:

Сокращенная ДНФ функции (10111001) имеет вид yˉzˉyzxˉzˉxˉy\bar{y} \cdot \bar{z} \vee y \cdot z \vee \bar{x} \cdot \bar{z} \vee \bar{x} \cdot y

Решение:

Нам дана функция от трёх переменных (x, y, z) с таблицей значений, задаваемой двоичным вектором 10111001, и её сокращённая ДНФ имеет вид

  ¬y·¬z ∨ y·z ∨ ¬x·¬z ∨ ¬x·y.

Нужно найти, сколько существует тупиковых (то есть неиз further упрощаемых – irreducible) ДНФ этой функции. Под «тупиковой ДНФ» принято понимать такую дизъюнктивную форму, что ни один литерал ни в одном слагаемом (конъюнкте) не может быть удалён – если удалить хотя бы один литерал, формула уже не будет совпадать с исходной функцией. Обычно именно слагаемые такой ДНФ являются «тупиковыми импликантами»...

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

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

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

Что такое "тупиковая импликанта" в контексте минимизации булевых функций?

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

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

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

Топ 3 ошибок

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

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