Сервер Методического Обеспечения вгуэс
| Вид материала | Реферат |
- Дипломная работа студента 545 группы, 334.18kb.
- Т. Н. Коржавина Принципы организации службы научного и методического обеспечения колледжа, 47.35kb.
- «sql*net», 239.02kb.
- Генезис развития теории и методики программно-методического обеспечения обучения, 145.89kb.
- Прозрачный прокси сервер на базе squid, ipfw и Freebsd, 8.5kb.
- Доклад «Три кита школьного образования: стандарты, учебники, егэ», 116.02kb.
- Справка по результатам самоаттестации методического объединения учителей русского языка, 447.26kb.
- Большой Сервер Недвижимости 31. 05. 2008: программа, 1328.13kb.
- Т. Г. Римская научный редактор, к и. н., доцент, директор филиала вгуэс в г. Находке, 2476.8kb.
- Владивосток: Изд-во вгуэс, 2005., 1071.2kb.
§3. Равносильные высказывания. Основные логические тождества
Определение 1
Высказывания и называются равносильными (или просто равными), если для любых наборов имеет место равенство:
Обозначим .
Другими словами, два высказывания равны, если у них совпадают таблицы истинности.
1) .
011100
2) .
0000010010111100
3) .
0001100111010110111110011101111100011111
Приведем список основных логических равенств, которые называются логическими тождествами. Для некоторых из них приведем доказательства. Остальные рекомендуется проверить самостоятельно.
Основные логические тождества:
1) – идемпотентность дизъюнкции;
2) – идемпотентность конъюнкции;
3) – коммутативность дизъюнкции;
4) – коммутативность конъюнкции;
5) – ассоциативность дизъюнкции;
6) – ассоциативность конъюнкции;
7) – дистрибутивность конъюнкции относительно дизъюнкции;
8) – дистрибутивность дизъюнкции относительно конъюнкции.
0000000100010000111110011101111101111111
Необходимо обратить внимание на следующие два тождества. В дальнейшем они будут играть большую роль.
9) – первый закон Моргана.
0011010010001100
10) – второй закон Моргана.
0011011110111100
11) – закон двойного отрицания.
12) – закон противоречия.
13) – закон исключенного третьего.
14) .
15) .
16) .
00111010001000011111
Тождества, содержащие константы:
17) .
18) .
19) .
20) .
21) .
22) .
23) .
24) .
25) .
26) .
Тождества, содержащие константы:
17) .
18) .
19) .
20) .
21) .
22) .
23) .
24) .
25) .
26) .