| Вариант № | Исходное выражение | Вариант № | Исходное выражение | |
| 1 | ( b|d) | (a|b|c) | (a|b|c) |
9 | b | (a |c|d) | (a|c|d) |
|
| 2 | (a|c) | (a|b|d) | (a|b|d) |
10 | a | (b |c|d) | (b|c|d) |
|
| 3 | (b|d) | (a|b|c) | (a|b|c) |
11 | b | (a |c|d) | (a|c|d) |
|
| 4 | (a|c)
| (a|b|d) | (a|b|d)
|
12 | a |
(b |c|d) | (b|c|d) |
|
| 5 | (a|b) | (b|c|d) | (b|c|d) |
13 | b |
(a |c|d) | (a|c|d) |
|
| 6 | (a|b)
| (a|c|d) | (a|c|d) |
14 | a | (b |c|d) | (b|c|d) |
|
| 7 | (a|b) | (b|c|d) | (b|c|d) |
15 | b | (a |c|d)
| (a|c|d) |
|
| 8 | (a|b)
| (a|c|d) | (a|c|d) |
16 | a |
(b |c|d) | (b|c|d) |
Пример.
Для функции с | (a |b|d) | (a|b|d)
последовательно выполним пункты алгоритма.
Получаем MДНФ: с 
(a & b&d) (a&b&
d)
Одиночный аргумент функции поменял знак.
Заполним карту Вейча из 16 клеток единицами в
соответствии с сочетаниями значений переменных
в элементарных конъюнкциях. Оставшиеся клетки
карты заполняем нулями и охватываем их
замкнутыми прямоугольными областями по 2n
(где n-целое) клеток.
Стремимся, чтобы областей было минимальное
количество, и каждая из них охватывала
максимальное число клеток. Запишем МКНФ,
элементарные дизъюнкции которой составляется из
отрицаний значений аргументов функции, не
меняющих в пределах прямоугольной области свой
знак: (abс) & (bсd) & (aсd). Переходим к базису ИЛИ-НЕ:
bс) (bсd)
(aсd).