Обсуждение:Сокращённая и минимальная ДНФ

Визуализация гиперкубами

☑ Oxyz", "X=0, Y=1 и Z=1" - в TeX, но тогда нужно все "(0,1,1)" в TeX занести, и даже единицу в " отдельный конъюнкт, равный 1". ☑ Пример в методе "Визуализация гиперкубами" — хороший, но комментарии, относящиеся к примеру, нужно отделить не только скобками. Нужно что-то вроде разделения на два столбца — слева алгоритм, справа то, что происходит с примером.

Карты Карно

☑ Ненумерованный список: у него есть два последних пункта, но нет остальных. Наверное, он здесь не нужен. ☑ комментарии, относящиеся к примеру, нужно отделить от описания метода. ☐ "n*n" , "n" в TeX

Метод Квайна

☐ операция или соотношение — не путайте читателя. ☐ Сокращать слова не нужно. ☐ "то выполняются шаги со второго", а список ненумерованный — исправить ☐ Примеру не хватает заголовка. ☐ Пример непонятен: описывается какая-то функция от четырех аргументов, но не понятно, где в примере, скажем, "множество пар вида [math]Ax[/math] или [math]A \neg x[/math]".