пользователей: 30398
предметов: 12406
вопросов: 234839
Конспект-online
 РЕГИСТРАЦИЯ ЭКСКУРСИЯ

ДМ. Булевы функции

1 Булевы функции. Элементарные булевы функции. Способы задания булевых функций.
2 Существенная и несущественная переменные. Теорема о числе булевых функций, зависящих от n переменных.
3 Формулы. Интерпретация формул. Равносильные формулы. Правила эквивалентных преобразований формул.
4 Алгебра булевых функций. Теорема об алгебре булевых функций.
5 Функция двойственная к данной. Терема о принципе двойственности
6 Нормальные формы. Теорема о разложении булевой функции.
7 СДНФ и СКНФ. Теорема о разложении булевой функции в СДНФ.
8 Алгебра Жигалкина. Полином Жигалкина. Теорема о полиноме Жигалкина.
9 Замкнутые классы. Теорема о замкнутости классов функций T0,T1,S, L, M.
10 Полнота класса булевых функций. Терема об определении полноты одного класса функций через другой полный класс функций.
11 Теорема Поста - критерий полноты класса булевых функций.
15.01.2015; 20:26
хиты: 1147
рейтинг:0
для добавления комментариев необходимо авторизироваться.
  Copyright © 2013-2024. All Rights Reserved. помощь