Просмотр исходного текста страницы Обсуждение:Определение булевой функции

=== Замечания ===

{{tick| ticked=1}} Там где упоминается суперпозиция, сделать ссылку на соответствующий конспект.

{{tick| ticked=1}} Если того, что есть в этом вики-конспекте про СДНФ и СКНФ нет в конспектах: [[СДНФ]] и [[СКНФ]], то перенести это туда и оставить ссылки. Остальное про совершенные формы убрать.

{{tick| ticked=1}} Перенести сюда определение из [[Представление функции формулой, полные системы функций | этого конспекта]]

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

{{tick| ticked=1}} Убрать из остальных конспектов определение булевой функции. Оставить только ссылки.

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

{{tick| ticked=1}} Добавить ссылку на [[Представление функции формулой, полные системы функций]].

{{tick| ticked=1}} В определении выделить "Булева функция" полужирным начертанием.

{{tick| ticked=1}} Тождественность и двойственность {{---}} в шаблон

{{tick| ticked=1}} Ссылку на википедию {{---}} на статью про булевы функции.

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

{{tick| ticked=1}} "Систематизировать! Пока там куча неструктурированной информации," {{---}} Андрей Сергеевич

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

{{tick| ticked=1}} Тоже самое с таблицами тернарных функций.

{{tick| ticked=1}} Убрать цвет, он не несет смысловой нагрузки

{{tick| ticked=1}} Оформить и перенести определение полной системы из раздела "Полнота системы, критерий Поста" в конспект про критерий Поста, а в этом оставить ссылку туда.

{{tick| ticked=1}} Объединить разделы Полные системы булевых функций и Представление булевых функций.

{{tick| ticked=1}} Сделать изложение последовательным.

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

{{tick| ticked=1}} Конъюнкцию лучше изображать символом \land, а не \wedge

{{tick| ticked=1}} В первом определении -- B_n. Наверное, имелось ввиду B^n.