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