1302
правки
Изменения
м
☐ Перенести сюда определение из [[Представление функции формулой, полные системы функций | этого конспекта]], от того, что есть сейчас оставить только разные названия ("Бу́лева фу́нкция (или логи́ческая функция, или функция а́лгебры ло́гики)").=== Замечания ===
☐ Убрать из остальных конспектов определение булевой функции. Оставить только ссылки{{tick| ticked=1}} Там где упоминается суперпозиция, сделать ссылку на соответствующий конспект.
☐ Там где упоминается суперпозиция{{tick| ticked=1}} Если того, сделать ссылку на соответствующий конспектчто есть в этом вики-конспекте про СДНФ и СКНФ нет в конспектах: [[СДНФ]] и [[СКНФ]], то перенести это туда и оставить ссылки. Остальное про совершенные формы убрать.
☐ Если того, что есть в этом вики-конспекте про СДНФ и СКНФ нет в конспектах: [[СДНФ]] и {{tick| ticked=1}} Перенести сюда определение из [[СКНФ]]Представление функции формулой, то перенести это туда и оставить ссылки. Остальное про совершенные формы убрать.--[[Участник:Rybakполные системы функций |Андрей Рыбакэтого конспекта]]
☐ {{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.
Нет описания правки