Конспекты лекций по математической логике
Категория реферата: Рефераты по математике
Теги реферата: реферат статус, изложение по русскому языку 6
Добавил(а) на сайт: Анохин.
Предыдущая страница реферата | 1 2 3 4 5 6 7 8 9 10 | Следующая страница реферата
Пример:
2.1.2 Декартова степень произвольного множества.
Опр: - множество всевозможных упорядоченных наборов длины n , элементов множества А.
2.1.3 Определение булевой функции от n переменных.
Любое отображение - называется булевой функцией от n переменных, притом множество
2.1.4 Примеры булевой функции.
логическая сумма (дизъюнкция). логическое умножение (конъюнкция). сложение по модулю два. логическое следствие (импликация). отрицание.2.1.5 Основные булевы тождества.
(ассоциативность) (коммутативность) (свойство нуля) (закон поглощения для 1) (ассоциативность) (коммутативность) (свойство нуля по умножению) (свойство нейтральности 1 по умножению) (дистрибутивность) (дистрибутивность 2) (закон поглощения) ( Законы де Моргана) (закон снятия двойного отрицания) (tertium non datur – третьего не дано) (ассоциативность) (Свойства v идемпотентности) 2.2 Дизъюнктивные нормальные формы.2.2.1 Основные определения.
- конечный алфавит из переменных.
Рассмотрим слово:
Экспоненциальные обозначения:
- элемент конъюнкции.
S – длина элемента конъюнкции.
ДНФ – дизъюнкция нескольких различных элементарных конъюнкций.
Любая булева функция может быть представлена как ДНФ
2.2.2 Теорема о совершенной ДНФ.
Любая булева функция тождественно не равная 0 может быть разложена в ДНФ следующего вида:
Опр: Носитель булевой функции
.
Лемма:
Рекомендуем скачать другие рефераты по теме: изложение 3, пушкин реферат.
Предыдущая страница реферата | 1 2 3 4 5 6 7 8 9 10 | Следующая страница реферата