105
правок
Изменения
м
Перенаправление на Сокращённая и минимальная ДНФ#Минимизация ДНФ
#REDIRECT [[Сокращённая и минимальная ДНФ #Минимизация ДНФ]]Рассмотрим два способа минимизации [[Сокращенная и минимальная ДНФ|минимизации дизъюнктивных нормальных форм]]:
== Визуализация гиперкубами ==
*И если после такой обработки у нас остались свободные вершины, мы просто переписываем координаты каждой такой вершины в отдельный конъюнкт, равный 1. Например, вершину (1,0,1) мы бы переписали как конъюнкт <tex>(X \wedge \neg Y \wedge Z)</tex>.
В итоге нашу изначальную ДНФ можно записать как <tex>(Y) \vee (X \wedge \neg Y \wedge Z)</tex>.
== Карты Карно ==
<br>
<br>
<tex>(X \wedge Y \wedge Z \wedge W) \vee (X \wedge Y \wedge \neg Z \wedge W) \vee (X \wedge Y \wedge \neg Z \wedge \neg W) \vee (X \wedge Y \wedge Z \wedge \neg W) \vee (\neg X \wedge Y \wedge Z \wedge W) \vee (\neg X \wedge Y \wedge \neg Z \wedge W) \vee (\neg X \wedge Y \wedge \neg Z \wedge \neg W) \vee (\neg X \wedge Y \wedge Z \wedge \neg W) \vee (X \wedge \neg Y \wedge Z \wedge W) \vee (X \wedge \neg Y \wedge \neg Z \wedge W) \vee (\neg X \wedge \neg Y \wedge \neg Z \wedge \neg W)</tex>
<br>
<br>
|}
<br>
*После этого записываем каждый прямоугольник в виде конъюнкта, в котором будут указаны только те переменные, которые одинаковы для всех ячеек этого прямоугольника: <tex>(\neg Z\wedge \neg X) \vee (\neg W\wedge \neg Y)</tex>
== См. также ==
[[Сокращенная и минимальная ДНФ]]
[[Категория: Дискретная математика и алгоритмы]]
[[Категория: Булевы функции ]]
