Экзамен / Ш П А Р Г А Л К А
.docxМатематическая логика и теория алгоритмов
(Рефлексивность) Идемпотентность
|
Коммутативность
|
Ассоциативность
|
Дистрибутивность
|
|
||||||||
Отрицание отрицания
|
Законы де Моргана
|
Законы поглощения
|
Импликация
|
Законы нуля и единицы
|
|
|||||||
Эквиваленция
|
|
|
||||||||||
Исключающее ИЛИ
|
|
|||||||||||
Закон не противоречия
|
Штрих Шеффера
|
|
||||||||||
Закон исключенного третьего
|
Стрелка Пирса
|
|
||||||||||
Логика предикатов
где
|
||||||||||||
|
инверсия, логическое НЕ
|
дизъюнкция, логическое ИЛИ
|
конъюнкция, логическое И
|
импликация
|
эквивалентность, тождество
|
исключающее ИЛИ, XOR
|
Штрих Шеффера И-НЕ |
Стрелка Пирса ИЛИ-НЕ |
|
|
|
|
|
|
|
|
|
|
|
0 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
1 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
