Обсуждение:Определение булевой функции — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
м
м
 
Строка 7: Строка 7:
 
{{tick| ticked=1}} Перенести сюда определение из [[Представление функции формулой, полные системы функций | этого конспекта]]
 
{{tick| ticked=1}} Перенести сюда определение из [[Представление функции формулой, полные системы функций | этого конспекта]]
  
{{tick| ticked=1}} Вернуть разные названия ("Бу?лева фу?нкция (или логи?ческая функция, или функция а?лгебры ло?гики)").
+
{{tick| ticked=1}} Вернуть разные названия ("Булева функция (или логическая функция, или функция алгебры логики)").
  
 
{{tick| ticked=1}} Убрать из остальных конспектов определение булевой функции. Оставить только ссылки.
 
{{tick| ticked=1}} Убрать из остальных конспектов определение булевой функции. Оставить только ссылки.

Текущая версия на 14:20, 14 апреля 2012

Замечания

Там где упоминается суперпозиция, сделать ссылку на соответствующий конспект.

Если того, что есть в этом вики-конспекте про СДНФ и СКНФ нет в конспектах: СДНФ и СКНФ, то перенести это туда и оставить ссылки. Остальное про совершенные формы убрать.

Перенести сюда определение из этого конспекта

Вернуть разные названия ("Булева функция (или логическая функция, или функция алгебры логики)").

Убрать из остальных конспектов определение булевой функции. Оставить только ссылки.

Больше TeX'a! Например в таблице "Тернарные функции".

Добавить ссылку на Представление функции формулой, полные системы функций.

В определении выделить "Булева функция" полужирным начертанием.

Тождественность и двойственность — в шаблон

Ссылку на википедию — на статью про булевы функции.

Убрать из конспекта всё, что относится к другим темам. Оставить только ссылки на эти статьи.

"Систематизировать! Пока там куча неструктурированной информации," — Андрей Сергеевич

Исправить таблицы так, чтобы самый используемый вариант обозначения был в отдельной колонке. Добавить колонку "Другие обозначения"

Тоже самое с таблицами тернарных функций.

Убрать цвет, он не несет смысловой нагрузки

Оформить и перенести определение полной системы из раздела "Полнота системы, критерий Поста" в конспект про критерий Поста, а в этом оставить ссылку туда.

Объединить разделы Полные системы булевых функций и Представление булевых функций.

Сделать изложение последовательным.

Перевести в TeX B^n, P_2, 2^n, 2^{2^n}, все таблицы

Конъюнкцию лучше изображать символом \land, а не \wedge

В первом определении -- B_n. Наверное, имелось ввиду B^n.