Обсуждение:Сокращённая и минимальная ДНФ — различия между версиями
Rybak (обсуждение | вклад) (+1) |
м (Дмитрий Мурзин переименовал страницу Обсуждение:Сокращенная и минимальная ДНФ в Обсуждение:Сокращённая и минимальная ДНФ: Ёфикация) |
||
| (не показано 16 промежуточных версий 3 участников) | |||
| Строка 1: | Строка 1: | ||
| − | {{tick}} Сделать из страницы [[Минимизация ДНФ с помощью покрытий гиперкуба и карт Карно]] страницу- | + | |
| + | {{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}} <s>"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 | ticked = 1}} операция или соотношение {{---}} не путайте читателя. | {{tick | ticked = 1}} операция или соотношение {{---}} не путайте читателя. | ||
| − | {{tick}} | + | |
| + | {{tick | ticked = 1}} Сокращать слова не нужно. | ||
| + | |||
{{tick | ticked = 1}} "то выполняются шаги со второго", а список ненумерованный {{---}} исправить | {{tick | ticked = 1}} "то выполняются шаги со второго", а список ненумерованный {{---}} исправить | ||
| + | |||
{{tick | ticked = 1}} Примеру не хватает заголовка. | {{tick | ticked = 1}} Примеру не хватает заголовка. | ||
| − | {{tick}} Пример непонятен: описывается какая-то функция от четырех аргументов, но не понятно, где в примере, скажем, "множество пар вида <tex>Ax</tex> или <tex>A \neg x</tex>". | + | |
| − | {{tick}} Нужно показать, какую ДНФ мы минимизируем | + | {{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 пункт когда обозначают размер матрицы или пространства, используют
☐ проверить пример (не соотвествует СДНФ), подробнее расписать алгоритм (сворачивание карты в трубку), если взять последний пример отсюда: http://matrixcalc.org/pf2.html, восстановить таблицу истинности и составить карту Карно с нумерацией переменных в порядке как сейчас (yx\wz), то получится очень показательная карта - квадрат 2х2 будет покрывать углы.
Метод Квайна
☑ операция или соотношение — не путайте читателя.
☑ Сокращать слова не нужно.
☑ "то выполняются шаги со второго", а список ненумерованный — исправить
☑ Примеру не хватает заголовка.
☑ Пример непонятен: описывается какая-то функция от четырех аргументов, но не понятно, где в примере, скажем, "множество пар вида или ".
☑ Нужно показать, какую ДНФ мы минимизируем
☑ Все n, n-1 в TeX
☑ Что такое "импликанты" ?
☑ Придумать новое описание пар вида
☐ Ошибка в склеивании №№ 3 - 7. Ну и из-за этого в дальнейших результатах.
