Минтермы, конструктор, визуализация по таблице истинности.
ДНФ — это дизъюнкция (∨) конъюнкций (∧) литералов. Каждая конъюнкция называется минтермом. ДНФ читается так: «F=1, если выполнен хотя бы один минтерм».
ДНФ (дизъюнктивная нормальная форма) — формула вида:
где каждое Kᵢ — конъюнкция (∧) литералов. Литерал — переменная или её отрицание.
Примеры ДНФ:
Минтерм — конъюнкция, в которую входят все переменные функции (каждая ровно один раз — либо с отрицанием, либо без).
Для F(A,B,C) минтерм строки A=1, B=0, C=1:
Правило: переменная без ¬ если её значение = 1, с ¬ если = 0.
| A | B | C | Минтерм | Обозначение |
|---|---|---|---|---|
| 0 | 0 | 0 | ¬A∧¬B∧¬C | m₀ |
| 0 | 0 | 1 | ¬A∧¬B∧C | m₁ |
| 0 | 1 | 0 | ¬A∧B∧¬C | m₂ |
| 0 | 1 | 1 | ¬A∧B∧C | m₃ |
| 1 | 0 | 0 | A∧¬B∧¬C | m₄ |
| 1 | 0 | 1 | A∧¬B∧C | m₅ |
| 1 | 1 | 0 | A∧B∧¬C | m₆ |
| 1 | 1 | 1 | A∧B∧C | m₇ |
Для n переменных существует ровно 2ⁿ различных минтермов.
Выбери количество переменных и отметь строки, где F=1. Нажми «Построить ДНФ».
Введи значения A, B, C (0 или 1) и нажми «Проверить». Таблица подсветит единственный истинный минтерм.
Введи логическое выражение. Используй: ∧ или &, ∨ или |, ¬ или !. Пример: A∧¬B∨C
5 вопросов, 20 XP за каждый правильный ответ.