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

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