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

Материал из Викиконспекты
Перейти к: навигация, поиск
(Карты Карно: Новое замечание)
(Метод Квайна: ticks и новое замечание)
Строка 11: Строка 11:
  
 
=== Метод Квайна ===
 
=== Метод Квайна ===
{{tick}} операция или соотношение {{---}} не путайте читателя.
+
{{tick | ticked = 1}} операция или соотношение {{---}} не путайте читателя.
{{tick}} Сокращать слова не нужно.
+
{{tick}} '''Сокращать слова не нужно.'''
{{tick}} "то выполняются шаги со второго", а список ненумерованный {{---}} исправить
+
{{tick | ticked = 1}} "то выполняются шаги со второго", а список ненумерованный {{---}} исправить
{{tick}} Примеру не хватает заголовка.
+
{{tick | ticked = 1}} Примеру не хватает заголовка.
 
{{tick}} Пример непонятен: описывается какая-то функция от четырех аргументов, но не понятно, где в примере, скажем, "множество пар вида <tex>Ax</tex> или <tex>A \neg x</tex>".
 
{{tick}} Пример непонятен: описывается какая-то функция от четырех аргументов, но не понятно, где в примере, скажем, "множество пар вида <tex>Ax</tex> или <tex>A \neg x</tex>".

Версия 23:46, 29 февраля 2012

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

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

Oxyz", "X=0, Y=1 и Z=1" - в TeX, но тогда нужно все "(0,1,1)" в TeX занести, и даже единицу в " отдельный конъюнкт, равный 1". Пример в методе "Визуализация гиперкубами" — хороший, но комментарии, относящиеся к примеру, нужно отделить не только скобками. Нужно что-то вроде разделения на два столбца — слева алгоритм, справа то, что происходит с примером.

Карты Карно

Ненумерованный список: у него есть два последних пункта, но нет остальных. Наверное, он здесь не нужен. комментарии, относящиеся к примеру, нужно отделить от описания метода. "n*n" , "n" в TeX Требования - TeX - 3 пункт

Метод Квайна

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