|
|
Опорный конспект "Логические операции", раздел "Основы логики", 10 класс
|
|
|
|
|
|
Submitted by Наталья Борисовна Наприенко on чт, 10/12/2009 - 05:11 |
|
Логические операции
|
№
|
Операция
|
Обозначение
|
Истолкование
|
Таблица истинности
|
|
1
|
Инверсия
(логическое отрицание)
|
не А; Ā;
|
не А;
неверно, что А
|
|
|
2
|
Конъюнкция
(логическое произведение)
|
AB; AΛB; A и B
|
А и В;
как А, так и В;
А вместе с В;
А несмотря на В;
А, в то время как В
|
|
А
|
В
|
AΛB
|
|
0
|
0
|
0
|
|
0
|
1
|
0
|
|
1
|
0
|
0
|
|
1
|
1
|
1
|
|
|
3
|
Дизъюнкция не строгая
(логическое сложение)
|
A+B; AVB;
A или B
|
А или В;
А или В или оба.
|
|
А
|
В
|
AVB
|
|
0
|
0
|
0
|
|
0
|
1
|
1
|
|
1
|
0
|
1
|
|
1
|
1
|
1
|
|
|
4
|
Дизъюнкция строгая
(разделительная, исключающая ИЛИ)
|
 |
либо А, либо Б; А или В, но не оба
|
|
А
|
В
|
|
|
0
|
0
|
0
|
|
0
|
1
|
1
|
|
1
|
0
|
1
|
|
1
|
1
|
0
|
|
|
5
|
Импликация
(логическое следование)
|
A→B;
|
Если А, то В;
В если А;
В необходимо для А;
А достаточно для В;
В тогда, когда А
|
|
А
|
В
|
A→B
|
|
0
|
0
|
1
|
|
0
|
1
|
1
|
|
1
|
0
|
0
|
|
1
|
1
|
1
|
|
|
6
|
Эквиваленция
(равнозначность)
|
A= B; A↔B
|
А эквивалентно В;
А необходимо и достаточно для В;
А тогда и только тогда, когда В;
А если и только если В
|
|
А
|
В
|
A↔B
|
|
0
|
0
|
1
|
|
0
|
1
|
0
|
|
1
|
0
|
0
|
|
1
|
1
|
1
|
|
Приоритет логических операций:
действия в скобках; инверсия; конъюнкция; дизъюнкция; импликация; эквиваленция.
|
|
|
|
|
|
|
|
|
