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

Материал из Викиконспекты
Версия от 14:20, 14 апреля 2012; Rybak (обсуждение | вклад)
(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

Замечания

Там где упоминается суперпозиция, сделать ссылку на соответствующий конспект.

Если того, что есть в этом вики-конспекте про СДНФ и СКНФ нет в конспектах: СДНФ и СКНФ, то перенести это туда и оставить ссылки. Остальное про совершенные формы убрать.

Перенести сюда определение из этого конспекта

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

Убрать из остальных конспектов определение булевой функции. Оставить только ссылки.

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

Добавить ссылку на Представление функции формулой, полные системы функций.

В определении выделить "Булева функция" полужирным начертанием.

Тождественность и двойственность — в шаблон

Ссылку на википедию — на статью про булевы функции.

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

"Систематизировать! Пока там куча неструктурированной информации," — Андрей Сергеевич

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

Тоже самое с таблицами тернарных функций.

Убрать цвет, он не несет смысловой нагрузки

Оформить и перенести определение полной системы из раздела "Полнота системы, критерий Поста" в конспект про критерий Поста, а в этом оставить ссылку туда.

Объединить разделы Полные системы булевых функций и Представление булевых функций.

Сделать изложение последовательным.

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

Конъюнкцию лучше изображать символом \land, а не \wedge

В первом определении -- B_n. Наверное, имелось ввиду B^n.