Изменения

* === Замечания === {{tick| ticked=1}} Там где упоминается суперпозиция, сделать ссылку на соответствующий конспект. {{tick| ticked=1}} Если того, что есть в этом вики-конспекте про СДНФ и СКНФ нет в конспектах: [[СДНФ]] и [[СКНФ]], то перенести это туда и оставить ссылки. Остальное про совершенные формы убрать. {{tick| ticked=1}} Перенести сюда определение из [[Представление функции формулой, полные системы функций | этого конспекта]], от того, что есть сейчас оставить только  {{tick| ticked=1}} Вернуть разные названия ("Бу́лева фу́нкция Булева функция (или логи́ческая логическая функция, или функция а́лгебры ло́гикиалгебры логики)"). --[[Участник:Rybak {{tick|Андрей Рыбак]] 14:32, 8 октября 2011 (UTC)* ticked=1}} Убрать из остальных конспектов определение булевой функции. Оставить только ссылки.  {{tick| ticked=1}} Больше TeX'a! Например в таблице "Тернарные функции". {{tick| ticked=1}} Добавить ссылку на [[Представление функции формулой, полные системы функций]]. {{tick| ticked=1}} В определении выделить "Булева функция" полужирным начертанием. {{tick| ticked=1}} Тождественность и двойственность {{---}} в шаблон {{tick| ticked=1}} Ссылку на википедию {{--[[Участник:Rybak-}} на статью про булевы функции. {{tick| ticked=1}} Убрать из конспекта всё, что относится к другим темам. Оставить только ссылки на эти статьи. {{tick|ticked=1}} "Систематизировать! Пока там куча неструктурированной информации," {{---}} Андрей Рыбак]] 14:35Сергеевич {{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. Наверное, 8 октября 2011 (UTC)имелось ввиду B^n.