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

Материал из Викиконспекты
Перейти к: навигация, поиск
(замечания из электропочты)
 
 
(не показана 21 промежуточная версия 3 участников)
Строка 1: Строка 1:
 +
 +
{{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}} 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}} Ненумерованный список: у него есть два последних пункта, но нет остальных. Наверное, он здесь не нужен.
 +
 
{{tick | ticked = 1}} комментарии, относящиеся к примеру, нужно отделить от описания метода.
 
{{tick | ticked = 1}} комментарии, относящиеся к примеру, нужно отделить от описания метода.
−
{{tick}} "n*n" , "n" в TeX
+
 
 +
{{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}} операция или соотношение {{---}} не путайте читателя.
+
 
−
{{tick}} Сокращать слова не нужно.
+
{{tick | ticked = 1}} операция или соотношение {{---}} не путайте читателя.
−
{{tick}} "то выполняются шаги со второго", а список ненумерованный {{---}} исправить
+
 
−
{{tick}} Примеру не хватает заголовка.
+
{{tick | ticked = 1}} Сокращать слова не нужно.
−
{{tick}} Пример непонятен: описывается какая-то функция от четырех аргументов, но не понятно, где в примере, скажем, "множество пар вида <tex>Ax</tex> или <tex>A \neg x</tex>".
+
 
 +
{{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. Ну и из-за этого в дальнейших результатах.

Текущая версия на 23:49, 31 января 2019

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

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

☑ Требования - Викификация - 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]

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

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Обсуждение:Сокращённая_и_минимальная_ДНФ&oldid=69790»