![](/user_photo/2706_HbeT2.jpg)
- •Сервер Методического Обеспечения вгуэс http://abc.Vvsu.Ru
- •Введение
- •Вводная глава Метод математической индукции (мми) §1. Формулировки мми. Доказательство равенств
- •Теорема 1 (стандартный мми)
- •Пример 1
- •Доказательство
- •Глава I Алгебра высказываний §1. Основные понятия. Логические операции
- •Примеры
- •Определение 1
- •Определение 2
- •Определение 3
- •Определение 4
- •Определение 5
- •Теорема 3
- •Доказательство
- •Определение 4
- •Доказательство
- •Доказательство
- •Доказательство
- •Доказательство
- •Решение
- •Определение 3
- •Теорема 4
- •Доказательство
- •§6. Приложение алгебры высказываний к исследованию электрических двухполюсников
- •Определение 3
- •Теорема 6
- •Доказательство
- •§7. Отношение порядка Определение 1
- •Примеры
- •Определение 2
- •Теорема 3
- •Доказательство
- •Теорема 4
- •Доказательство
- •§9. Экстремальные элементы в частично упорядоченных множествах и подмножествах Определение 1
- •Пример 1
- •Пример 2
- •Пример 3
- •Определение 13
- •Определение 14
- •Теорема 15
- •Доказательство
- •Примеры обратных отображений
- •Теорема 16
- •Доказательство
- •Определение 17
- •Определение 18
- •Литература
Доказательство
|
|
|
|
|
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
Необходимо обратить внимание на следующие два тождества. В дальнейшем они будут играть большую роль.
9)
–
первый закон Моргана.
Доказательство
|
|
|
|
0 |
0 |
1 |
1 |
0 |
1 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
1 |
0 |
0 |
10)
–
второй закон Моргана.
Доказательство
|
|
|
|
0 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
0 |
11)
–
закон двойного отрицания.
12)
–
закон противоречия.
13)
–
закон исключенного третьего.
14) .
15)
.
16)
.
Доказательство
|
|
|
|
|
0 |
0 |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
Тождества, содержащие константы:
17)
.
18)
.
19)
.
20)
.
21) .
22)
.
23)
.
24)
.
25)
.
26)
.
Тождества, содержащие константы:
17) .
18) .
19) .
20) .
21) .
22) .
23) .
24) .
25) .
26) .
§4. Дизъюнктивные нормальные формы (ДНФ)
В этом параграфе мы докажем, что все высказывания с помощью логических тождеств можно привести к некоторому единообразному стандартному виду, в котором они наиболее эффективно поддаются исследованию.
Определение 1
Пусть F –
высказывание и
.
Утверждение 2
в том и только в том случае, когда
.
Доказательство
Достаточно построить таблицу истинности
для
:
|
|
|
0 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
1 |
Непосредственно видно, что
на тех и только тех наборах, где
.
Утверждение доказано.
Определение 3
Конъюнкция логических переменных или их отрицаний называется элементарной конъюнкцией.
Общий вид элементарной конъюнкции:
.
Примеры
.
Пятая формула не является элементарной конъюнкцией, так как отрицание расположенно не над переменной, а над более сложным выражением. Шестая формула не является элементарной конъюнкцией, так как в ней присутствует дизъюнкция, тогда как элементарные конъюнкции могут содержать лишь конъюнкции и отрицания над логическими переменными. Все остальные примеры являются элементарными конъюнкциями.
Определение 4
Высказывание называется дизъюнктивной
нормальной формой, если оно представляет
собою дизъюнкцию элементарных конъюнкций.
Общий вид ДНФ:
,
где каждая
,
в свою очередь, является элементарной
конъюнкцией.
Примеры
1)
;
2)
;
3)
;
4)
;
5)
;
6)
;
7)
.
Второе высказывание не является ДНФ, так как в ДНФ перемножаются лишь переменные или их отрицания. Пятое высказывание не является ДНФ, так как в ДНФ отрицание может располагаться лишь над переменными. Остальные высказывания являются дизъюнктивными нормальными формами.
Теорема 5
Любое высказывание равносильно дизъюнктивной нормальной форме (говорят еще так: “любое высказывание приводимо к ДНФ”).
Доказательство
Будем доказывать методом математической индукции по числу логических операций, входящих в высказывание .
В силу тождеств
можно в высказывании
избавиться от всех импликаций и
эквивалентностей, входящих в
.
Например, пусть
,
тогда
.
Получили высказывание, равносильное
и не содержащее "®"
и "«".
В дальнейшем будем считать, что
высказывание
построено из логических переменных и
операций
.
Через n
обозначим количество операций, входящих
в
.
Пусть n=0,
тогда высказывание
,
следуя определению, может быть лишь
простейшим высказыванием или логической
переменной
.
Очевидно, что это высказывание есть
ДНФ.
Допустим, утверждение о приведении к
ДНФ доказано для всех высказываний с
числом логических операций
.
И докажем теперь его для высказывания
,
которое содержит
логических операций. Опять же, следуя
определению высказывания и тому
обстоятельству, что в
нет импликаций и эквивалентностей,
представимо в одном из трех видов:
,
или
,
или
.
В первых двух случаях на высказывания
и
в сумме приходится
логических операций, значит, каждое из
них содержит
операций. В третьем случае
содержит ровно
логических операций. Во всех случаях
и
по индуктивному предположению приводятся
к ДНФ, поэтому можно считать, что
,
где
и
–
элементарные конъюнкции.
В первом случае
,
то есть F является дизъюнкцией элементарных конъюнкций, то есть ДНФ.
Во втором случае
.
Так как произведение элементарных конъюнкций есть элементарная конъюнкция, значит, и во втором случае приводимо к ДНФ.
Осталось доказать приводимость к ДНФ
в третьем случае, то есть когда
.
Для упрощения выкладок будем считать,
что l=2 и
каждая элементарная конъюнкция есть
произведение двух логических переменных
или их отрицаний, то есть
.
При доказательстве того, что F приводимо к ДНФ, нам придется воспользоваться следующим простым равенством, которое мы рекомендуем доказать самостоятельно:
.
Итак, начинаем приводить F к ДНФ:
,
то есть и в последнем, третьем случае F приводимо к ДНФ.
Таким образом, теорема доказана.
Пример
Привести к ДНФ высказывание
.