Ключевые термины по теме 2. Логические схемы и их минимизация
ДНФ – дизъюнктивно-нормальная форма – представление логического выражения в виде произведения сумм.
Каноническая сумма минтермов – это логическая сумма всех минтермов, которая представляет собой максимальное логическое выражение, соответствующее таблице истинности.
Каноническое произведение макстермов – это логическая сумма всех макстермов, которая представляет собой максимальное логическое выражение, соответствующее таблице истинности.
Карта Карно – графическое представление таблицы истинности.
КНФ – конъюнктивно-нормальная форма – представление логического выражения в виде суммы произведений.
Макстерм – это сумма всех входных переменных, соответствующее одной строке таблицы истинности, в которой значение выходной переменной (значение функции) равно 0. Переменная входит в макстерм с инверсией, если её значение в строке истинности равно 1.
Минтерм – это полное произведение всех входных переменных, соответствующее одной строке таблицы истинности, в которой значение выходной переменной (значение функции) равно логической 1. Переменная входит в минтерм с инверсией, если её значение в строке истинности равно 0.