315
правок
Изменения
→Визуализация гиперкубами
Далее обработка гиперкуба идёт следующим образом:
*Если в данном гиперкубе есть грань, все вершины на которой закрашены чёрным, то мы можем записать её в качестве конъюнкта, где будет только переменная с неизменяющейся соответствующей ей координатой, например, грань, на которой лежат закрашенные вершины (0,1,1), (0,1,0), (1,1,0) и (1,1,1) мы можем записать как конъюнкт <math>Y</math>.
*Если Теперь мы смотрим, остались ли на рёбрах куба закрашенные и не отмеченные нами в данном гиперкубе есть ребро, все ДНФ вершины на котором закрашены чёрным. Если — да, то рёбра с такими вершинами мы можем записать его в качестве конъюнкта, где будут только переменные с неизменяющимися соответствующим им координатами, например, ребро, соединяющее закрашенные вершины (0,1,1) и (1,1,1) мы можем записать как конъюнкт <math>(Y \and Z)</math>.*И если после такой обработки у нас остались свободные вершины, мы просто переписываем координаты каждой такой вершины в отдельный конъюнкт, равный 1. Например, вершину (1,0,1) мы бы переписали как конъюнкт <math>(X \and \neg Y \and Z)</math>.
В итоге нашу изначальную ДНФ можно записать как <math>(Y) \or (X \and \neg Y \and Z)</math>.
== Карты Карно ==
