Нтуїтивний метод спрощення системи ДНФ за матричною формою
Метод Барті-Полянського громіздкий для ручної мінімізації булевих функцій. Ґрунтуючись на матричному представленні системи булевих функцій і максимальних інтервалів методу Закревського, можна знаходити досить гарні розв’язання за матричними формами.
Немає необхідності формулювати весь алгоритм розв’язання, доцільно привести принцип виділення максимальних інтервалів, що підходять відразу для декількох функцій. У багатьох випадках необхідно розглянути кілька варіантів покриття всіх точок всіх функцій меншим числом інтервалів. Компактність і наочність матричної форми дозволяють виконувати це досить ефективно.
Нижче наведені дві послідовності (відповідно у табл. 31.3, 31.3, 31.4 і 31.5, 31.6, 31.7, а також сукупності простих імплікант) виділення інтервалів, що забезпечують одержання оптимального розв’язання для системи булевих функцій.
Таблиця 31.3
| x2 | x2 | |||
| x1 | x1 | |||
 · I
|  · II
| |||
| x3| | · |
Таблиця 31.4
| x2 | x2 | |||
 x1
| x1 | |||
 · IV
| · I | 
| ||
| x3| | · | · III |
Таблиця 31.5
| x2 | x2 | |||
| x1 | x1 | |||
| · IV | 
|  · II
| |
| x3| | · | · III | · |
x1`x2`x3 /f1f2, x1x2x3 /f2f3, `x1`x2 /f2f3, `x1x2 /f1f3
Таблиця 31.6
| x2 | x2 | ||||
| x1 | x1 | ||||
 ·
|  ·
| 
| |||
 x3|
| · | · | · | · | |
| x4| | x3| | · | |||
| x4| | · |
Таблиця 31.7
| x2 | x2 | ||||
 x1
| x1 | ||||
| · | · | ||||
| x3| | 
| · | |||
| x4| |  x3|
| ·
| · | · | |
| x4| | · |
x1`x3`x4 /f1f2, x1x2x3 /f1f2, `x1`x2`x3x4 /f1f2, x3`x4 /f1, `x2x3x4 /
f1 = x1`x3`x4 Ú x1x2x3 Ú `x1`x2`x3x4 Ú x3`x4
f2 = x1`x3`x4 Ú x1x2x3 Ú `x1`x2`x3x4 Ú `x2x3x4.