20
правок
Изменения
Нет описания правки
Этот способ работает при количестве переменных не больше трёх (в противном необходимо вводить четвёртое или следующие за ним измерения для представления фигур).
Сначала мы рисуем куб в системе отсчёта <tex>Oxyz</tex> (названия координатных осей соответствуют названиям переменных). Затем каждую вершину обрабатываем следующим образом:
{| border="0" |*Если у нас конъюнкт, переменные в котором равны соответствующим координатам вершины (пример: вершине , то в эту вершину мы помещаем закрашенный чёрным кружок. |*dершине с координатами <tex>(0,1,1) </tex>соответствует конъюнкт <tex>(\neg X \wedge Y \wedge Z)</tex>, он равен единице при <tex>X=0, Y=1</tex> и <tex>Z=1</tex>), то в эту вершину мы помещаем закрашенный чёрным кружок. |}
*В противном случае мы помещаем в вершину закрашенный белый кружок.
