Обсуждение:Определение булевой функции

Замечания

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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