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


{{tick | ticked = 1}} Сделать из страницы [[Минимизация ДНФ с помощью покрытий гиперкуба и карт Карно]] страницу перенаправления.

{{tick | ticked = 1}} Так, чтобы она переходила на соответствующий раздел

{{tick | ticked = 1}} Требования - Викификация - 9 пункт.

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

{{tick | ticked = 1}} Требования - Викификация - 5 пункт.

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

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

{{tick | ticked = 1}} Пример в методе "Визуализация гиперкубами" {{---}} хороший, но комментарии, относящиеся к примеру, нужно отделить не только скобками. Нужно что-то вроде разделения на два столбца {{---}} слева алгоритм, справа то, что происходит с примером.

=== Карты Карно ===

{{tick | ticked = 1}} Ненумерованный список: у него есть два последних пункта, но нет остальных. Наверное, он здесь не нужен.

{{tick | ticked = 1}} комментарии, относящиеся к примеру, нужно отделить от описания метода.

{{tick | ticked = 1}} <s>"n*n" , "n" в TeX Требования - TeX - 3 пункт</s> когда обозначают размер матрицы или пространства, используют <tex>\times</tex>

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

=== Метод Квайна ===

{{tick | ticked = 1}} операция или соотношение {{---}} не путайте читателя.

{{tick | ticked = 1}} Сокращать слова не нужно.

{{tick | ticked = 1}} "то выполняются шаги со второго", а список ненумерованный {{---}} исправить

{{tick | ticked = 1}} Примеру не хватает заголовка.

{{tick | ticked = 1}} Пример непонятен: описывается какая-то функция от четырех аргументов, но не понятно, где в примере, скажем, "множество пар вида <tex>Ax</tex> или <tex>A \neg x</tex>".

{{tick | ticked = 1}} Нужно показать, какую ДНФ мы минимизируем

{{tick | ticked = 1}} Все n, n-1 в TeX

{{tick | ticked = 1}} Что такое "импликанты" ?

{{tick | ticked = 1}} Придумать новое описание пар вида <tex>Ax, A \neg x</tex>

{{tick}} Ошибка в склеивании №№ 3 - 7. Ну и из-за этого в дальнейших результатах.