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

☑ Сделать из страницы Минимизация ДНФ с помощью покрытий гиперкуба и карт Карно страницу перенаправления.

☑ Так, чтобы она переходила на соответствующий раздел

☑ Требования - Викификация - 9 пункт.

Определение Минимальной ДНФ

☑ Требования - Викификация - 5 пункт.

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

☑ Oxyz", "X=0, Y=1 и Z=1" - в TeX, но тогда нужно все "(0,1,1)" в TeX занести, и даже единицу в " отдельный конъюнкт, равный 1".

☑ Пример в методе "Визуализация гиперкубами" — хороший, но комментарии, относящиеся к примеру, нужно отделить не только скобками. Нужно что-то вроде разделения на два столбца — слева алгоритм, справа то, что происходит с примером.

Карты Карно

☑ Ненумерованный список: у него есть два последних пункта, но нет остальных. Наверное, он здесь не нужен.

☑ комментарии, относящиеся к примеру, нужно отделить от описания метода.

☑ "n*n" , "n" в TeX Требования - TeX - 3 пункт когда обозначают размер матрицы или пространства, используют [math]\times[/math]

☐ проверить пример (не соотвествует СДНФ), подробнее расписать алгоритм (сворачивание карты в трубку), если взять последний пример отсюда: http://matrixcalc.org/pf2.html, восстановить таблицу истинности и составить карту Карно с нумерацией переменных в порядке как сейчас (yx\wz), то получится очень показательная карта - квадрат 2х2 будет покрывать углы.

Метод Квайна

☑ операция или соотношение — не путайте читателя.

☑ Сокращать слова не нужно.

☑ "то выполняются шаги со второго", а список ненумерованный — исправить

☑ Примеру не хватает заголовка.

☑ Пример непонятен: описывается какая-то функция от четырех аргументов, но не понятно, где в примере, скажем, "множество пар вида [math]Ax[/math] или [math]A \neg x[/math]".

☑ Нужно показать, какую ДНФ мы минимизируем

☑ Все n, n-1 в TeX

☑ Что такое "импликанты" ?

☑ Придумать новое описание пар вида [math]Ax, A \neg x[/math]