Глава 4. Алгебра логических функций..........................................88

4.1. Основные определения..................................................................88

4.2. Эквивалентные преобразования...................................................91

4.3. Дизъюнктивные и конъюнктивные нормальные формы...........93

4.4. Дизъюнктивные нормальные формы и импликанты.................95

4.5. Минимизация ДНФ. Тупикова ДНФ...........................................98

4.6. Алгебра Жегалкина......................................................................103

4.7. Двойственность в алгебре логики. Самодвойственные функции...............................................................................................104

4.8. Функциональная полнота систем..............................................107

Глава 5. Логика высказываний и логика предикатов..............109

5.1. Логика высказываний..................................................................109

5.2. Логика предикатов.......................................................................117

Глава 6. Схемы переключателей. Комбинационные схемы...................................................................................................123

6.1. Схемы переключателей ..............................................................123

6.2. Комбинационные схемы............................................................125

Список литературы

Глава 1. Теория множеств. Дискретная теория вероятности

1. Множества и операции над ними

Понятие множества является одним из основных первичных понятий математики. Множество – понятие неопределяемое.

Множество можно представить как совокупность некоторых объектов, объединенных по какому-либо признаку.

Множество состоит из элементов. В зависимости от их числа множества различают как конечные или бесконечные. Конечные множества могут состоять из одного или нескольких элементов.

Множество, не содержащее элементов, называется пустым множеством и обозначается .

Множество обозначают заглавными буквами, а его элементы – прописными. Для записи множества используют фигурные скобки. Например, множество натуральных чисел от 3 до 10: М = {3, 4, 5, 6, 7, 8, 9, 10}.

Говоря об определенном множестве, мы полагаем, что для каждого объекта имеется две возможности: либо он входит в рассматриваемое множество, т.е. является его элементом, принадлежит ему (обозначается ); либо нет (обозначается ).

Способы задания множества:

 перечисление всех элементов множества, например, множество однозначных неотрицательных чисел X = {0, 1, 2, 3, …, 9};

 указание общего свойства, которым обладают все элементы множества, например, множество четных натуральных чисел X = {2, 4, 6, 8, 10, 12, …} или X = {x: x = 2n, };

 рекуррентно, например: , и др.

В математике приняты стандартные обозначения для некоторых числовых множеств: N – множество натуральных чисел, Z – множество целых чисел, Q – множество рациональных чисел, R – множество действительных чисел.

Множество А называют подмножеством множества В (обозначается ), если каждый элемент множества А является также элементом множества В.

Множества А и В называют равными ( ), если каждый элемент множества А является одновременно элементом множества В и наоборот, т.е. если и . Другими словами, два множества равны, если они состоят из одних и тех же элементов.

Множество I называется универсальным множеством (множество всех подмножеств) для некоторой системы множеств, если каждое множество этой системы является подмножеством I , т.е. {A, B, C, …}: , , , …

Дополнением множества А ( ) называется множество, состоящее из тех и только тех элементов универсального множества, которые не входят в множество А.

Суммой (объединением) двух множеств А и В ( ) называется множество С, состоящее из тех элементов, которые принадлежат или множеству А, или В, или А и В одновременно.

Произведением (пересечением) двух множеств А и В ( ) называется множество С, состоящее из тех и только тех элементов, которые принадлежат множествам А и В одновременно.

Разностью двух множеств А и В ( или ) называется множество тех элементов множества А , которые не принадлежат множеству В:

.

Свойства операций над множествами:

1. ;

2. ;

3. ;

4. ;

5. ;

6. ;

7. ;

8. ;

9. , .

Прямым (декартовым) произведением двух множеств А и В ( ) называется множество, состоящее из упорядоченных пар элементов, в которых первый элемент принадлежит множеству А, а второй – множеству В.

Пример 1. Заданы два множества: А = {-2, -1, 0, 1, 2} и B = {0, 2, 4, 5}. Определить множества ; ; ; ; ; и их мощность.

Решение:

Множество А = {-2, -1, 0, 1, 2} состоит из пяти элементов, следовательно мощность этого множества равна 5: .

Аналогично, B = {0, 2, 4, 5} содержит четыре элемента: .

Для наглядности, в перечислении элементов заданных множеств выделим жирным курсивом повторяющиеся (общие) элементы:

А = {-2, -1, 0, 1, 2} и B = {0, 2, 4, 5}.

По определению пересечение двух множеств состоит только из общих для обоих множеств элементов, следовательно, = {0, 2} и .

По определению объединение двух множеств состоит из всех элементов, которые принадлежат и множеству А, и множеству В, следовательно, = {-2, -1, 0, 1, 2, 4, 5} и или по правилу суммы .

Множество является разностью двух множеств А и В и состоит из элементов множества А, которые одновременно не принадлежат множеству В, следовательно {-2, -1, 1} и .

Аналогично, {4, 5} и .

Прямое (декартово) произведение:

= {(-2, 0); (-2, 2); (-2, 4); (-2, 5); (-1, 0); (-1, 2); (-1, 4); (-1, 5);

(0, 0); (0, 2); (0, 4); (0, 5); (1, 0); (1, 2); (1, 4); (1, 5); (2, 0); (2, 2); (2, 4); (2, 5)}

= {(0, -2); (0, -1); (0, 0); (0, 1); (0, 2); (2, -2); (2, -1); (2, 0); (2, 1); (2, 2); (4, -2); (4, -1); (4, 0); (4, 1); (4, 2); (5, -2); (5, -1); (5, 0); (5, 1); (5, 2)}

Из этого примера видно, что , но при этом .

Пример 2. Заданы множества, являющиеся промежутками числовой оси А = [-2.8; 0) и B = [-2; 0] . Определить ; ; ; ; .

По определению, дополнением множества А называется множество, состоящее из тех и только тех элементов универсального множества, которые не входят в множество А. Для числовых промежутков универсальным множеством (множеством всех подмножеств-промежутков) является вся числовая ось .

Следовательно, =  [-2,8; 0) = .

Далее, для наглядности определения множеств ; ; и изобразим (схематично) расположение заданных промежутков относительно друг друга:

По определению объединение двух множеств состоит из всех элементов, которые принадлежат и множеству А, и множеству В, следовательно = .

По определению пересечение двух множеств состоит только из общих для обоих множеств элементов, следовательно,

= .

Множество является разностью двух множеств А и В и состоит из элементов множества А, которые одновременно не принадлежат множеству В, следовательно, ₌ .

Множество , по определению, состоит из элементов множества В, которые одновременно не принадлежат множеству А, а таким элементом является единственное число 0, и, следовательно разностью промежутков В и А является конечное множество, состоящее из одного единственного элемента: .