Основные логические тождества:
Идемпотентность:
1) 
2) 
Коммутативность:
3) 
4) 
Ассоциативность:
5) 
6) 
Дистрибутивность:
Конъюнкции относительно диъюнкции:
7) 
Дизъюнкции относительно конъюнкции:
8) 
Законы де Моргана:
9) 
10) 
Закон двойного отрицания:
11) 
Закон противоречия:
12) 
Закон исключения третьего:
13) 
14) 
15) 
16) 
Тождества, содержащие константы:
17) 
18) 
19) 
20) 
21) 
22) 
23) 
24) 
25) 
26) 
Законы поглощения:
27) 
28) 
29) 
30) 
Булева функция n переменных. Способы задания
Теорема о разложении БФ по переменным. СДНФ
СДНФ – совершенная ДНФ
ДНФ – дизъюнктивная нормальная форма
ДНФ – совершенная, если все её составляющие – элементарные конъюнкции (ЭК) являются полными (ПЭК)
ЭК – конъюнкция логических переменных или их отрицаний
ПЭК – ЭК, в которую входят все логические переменные множества
11) Понятие замкнутости класса функции. Классы 
Замыкание над множеством БФ M – множество всех БФ, представимых формулами над M
Множество БФ M – замкнутый класс, если 
Классы функций:
1) Класс функций, сохраняющих 0 ( 
):
БФ сохраняет 0, если на нулевом наборе множество всех функций, сохраняющих 0, образует 
ДНФ (СДНФ) сохраняет 0, если в неё не входит конъюнкция, в которой все элементы с отрицанием
2) Класс функций, сохраняющих 1 ( 
):
БФ сохраняет 1, если на единичном наборе множество всех функций, сохраняющих 1, образует 
ДНФ (СДНФ) сохраняет 1, если в неё входит конъюнкция, в которой все элементы без отрицания
3) Класс самодвойственных функций (S):
БФ 
– двойственна к 
, если 
БФ f – самодвойственная, если f = 
Все самодвойственные функции образуют 
У самодвойственных функций на противоположных наборах значения противоположны
4) Класс монотонных функций (M)
БФ – монотонная, если при любом возрастании набора, значения функции не убывают
ДНФ (СДНФ) – монотонная, если в ней отсутствуют отрицания
Все монотонные функции образуют 
5) Класс линейный функций L
Многочлен Жегалкина – выражение, в котором нет отрицаний, а конъюнкции переменных связаны операцией 
Любую БФ можно представить в виде многочлена Жегалкина
Линейная функция (ЛФ) – БФ, которую можно представить в виде линейного многочлена Жегалкина (ЛМЖ)
Множеством линейных функций образуется 
Полнота системы БФ. Базис. Теорема Поста о полноте.
Понятия минимальной ДНФ
МДНФ – минимальная ДНФ
МДНФ – ДНФ, содержащая наименьшее число вхождений переменных по сравнению с другими ДНФ
Методы минимизации – метод карт Карно, метод Квайна
Метод карт Карно:
Метод Квайна:
1) Построить таблицу конституентов следующий образом:
I гр. – нулевой набор (если F(0,0,…,0) = 1)
II гр. – наборы, содержащие одну единицу
III гр. – наборы, содержащие две единицы
…
N гр. - наборы, содержащие N единиц
Далее склеиваем по 2 набора из соседних групп, если они отличаются на 1 символ
Наборы, которые не были задействованы в склеивании, выписываем отдельно
2) Строим импликантную матрицу Квайна для удаления лишних импликант
Строки – ПИ СоДНФ
Столбцы – конституенты СоДНФ
ПИ поглощают конституенты, если она является их частью
2.1) Строим МДНФ
2.1.1) Ищем столбцы, имеющие 1 метку
Соответствующие этим меткам ПИ – базисные и образуют ядро БУ
2.1.2) Рассматриваем различные варианты выбора совокупности ПИ, которые поглотят оставшиеся столбцы матрицы и выбирается вариант с минимальным суммарным числом символов
ПИ – простая импликация
СоДНФ – сокращённая ДНФ
МДНФ – минимальная ДНФ
БУ – булевое уравнение
Дата добавления: 2018-09-20; просмотров: 803; Мы поможем в написании вашей работы! |
Мы поможем в написании ваших работ!