Изменения

Перейти к: навигация, поиск

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

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

Навигация