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

Замечания

☑ Там где упоминается суперпозиция, сделать ссылку на соответствующий конспект. ☑ Если того, что есть в этом вики-конспекте про СДНФ и СКНФ нет в конспектах: СДНФ и СКНФ, то перенести это туда и оставить ссылки. Остальное про совершенные формы убрать. ☑ Перенести сюда определение из этого конспекта ☑ Вернуть разные названия ("Бу́лева фу́нкция (или логи́ческая функция, или функция а́лгебры ло́гики)"). ☑ Убрать из остальных конспектов определение булевой функции. Оставить только ссылки. ☑ Больше TeX'a! Например в таблице "Тернарные функции". ☑ Добавить ссылку на Представление функции формулой, полные системы функций. ☑ В определении выделить "Булева функция" полужирным начертанием. ☑ Тождественность и двойственность — в шаблон ☑ Ссылку на википедию — на статью про булевы функции. ☑ Убрать из конспекта всё, что относится к другим темам. Оставить только ссылки на эти статьи. ☑ "Систематизировать! Пока там куча неструктурированной информации," — Андрей Сергеевич ☑ Исправить таблицы так, чтобы самый используемый вариант обозначения был в отдельной колонке. Добавить колонку "Другие обозначения" ☑ Тоже самое с таблицами тернарных функций. ☑ Убрать цвет, он не несет смысловой нагрузки ☑ Оформить и перенести определение полной системы из раздела "Полнота системы, критерий Поста" в конспект про критерий Поста, а в этом оставить ссылку туда. ☑ Объединить разделы Полные системы булевых функций и Представление булевых функций. ☑ Сделать изложение последовательным. ☑ Перевести в TeX B^n, P_2, 2^n, 2^{2^n}, все таблицы ☑ Конъюнкцию лучше изображать символом \land, а не \wedge ☑ В первом определении -- B_n. Наверное, имелось ввиду B^n.