Логические высказывания
.pdf
Основные определение и операции |
Законы логики высказываний |
||
Равносильность формул и законы логики высказываний |
|||
|
|
||
|
|
|
|
Законы логики высказываний |
|
||
7. X _X eq X |
|
70. X ^X eq X |
|
|
|||
8. X _1 eq 1 |
|
80. X ^0 eq 0 |
|
9. X _(X ^Y ) eq X |
|
90. X ^(X _Y ) eq X |
|
10. :(X _Y ) eq :X ^:Y |
|
100. :(X ^Y ) eq :X _:Y . |
|
|
|
|
|
Логика высказываний
Основные определение и операции |
Законы логики высказываний |
||
Равносильность формул и законы логики высказываний |
|||
|
|
||
|
|
|
|
Законы логики высказываний |
|
||
7. X _X eq X |
|
70. X ^X eq X |
|
|
|||
8. X _1 eq 1 |
|
80. X ^0 eq 0 |
|
9. X _(X ^Y ) eq X |
|
90. X ^(X _Y ) eq X |
|
10. :(X _Y ) eq :X ^:Y |
|
100. :(X ^Y ) eq :X _:Y . |
|
11. X ! Y eq :X _Y |
|
|
|
|
|
|
|
Логика высказываний
Основные определение и операции |
Законы логики высказываний |
||
Равносильность формул и законы логики высказываний |
|||
|
|
||
|
|
|
|
Законы логики высказываний |
|
||
7. X _X eq X |
|
70. X ^X eq X |
|
|
|||
8. X _1 eq 1 |
|
80. X ^0 eq 0 |
|
9. X _(X ^Y ) eq X |
|
90. X ^(X _Y ) eq X |
|
10. :(X _Y ) eq :X ^:Y |
|
100. :(X ^Y ) eq :X _:Y . |
|
11. X ! Y eq :X _Y |
|
|
|
12. (X ! Y ) ^(Y ! X) eq X $ Y |
|
||
|
|
|
|
Логика высказываний
Основные определение и операции |
Законы логики высказываний |
|
|
|
||||
Равносильность формул и законы логики высказываний |
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Законы логики высказываний |
|
|
|
|
|
|
|
|
7. X _X eq X |
|
70. X ^X eq X |
||||||
|
||||||||
8. X _1 eq 1 |
|
80. X ^0 eq 0 |
||||||
9. X _(X ^Y ) eq X |
|
90. X ^(X _Y ) eq X |
||||||
10. :(X _Y ) eq :X ^:Y |
|
100. :(X ^Y ) eq :X _:Y . |
||||||
11. X ! Y eq :X _Y |
|
|
|
|
|
|
|
|
12. (X ! Y ) ^(Y ! X) eq X $ Y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Логика высказываний
Основные определение и операции |
Законы логики высказываний |
|
Равносильность формул и законы логики высказываний |
||
|
||
|
|
Законы логики высказываний
Часть из законов следует прямо из определений,
Логика высказываний
Основные определение и операции |
Законы логики высказываний |
|
Равносильность формул и законы логики высказываний |
||
|
||
|
|
Законы логики высказываний
Часть из законов следует прямо из определений, часть проверяется построением таблиц истинности
Логика высказываний
Основные определение и операции |
Законы логики высказываний |
|
Равносильность формул и законы логики высказываний |
||
|
||
|
|
Законы логики высказываний
Часть из законов следует прямо из определений, часть проверяется построением таблиц истинности
Некоторые законы имеют специальные названия.
Логика высказываний
Основные определение и операции |
Законы логики высказываний |
|
Равносильность формул и законы логики высказываний |
||
|
||
|
|
Законы логики высказываний
Часть из законов следует прямо из определений, часть проверяется построением таблиц истинности
Некоторые законы имеют специальные названия.
1 è 10 законы коммутативности
Логика высказываний
Основные определение и операции |
Законы логики высказываний |
|
Равносильность формул и законы логики высказываний |
||
|
||
|
|
Законы логики высказываний
Часть из законов следует прямо из определений, часть проверяется построением таблиц истинности
Некоторые законы имеют специальные названия.
1 è 10 законы коммутативности
2 è 20 законы ассоциативности
Логика высказываний
Основные определение и операции |
Законы логики высказываний |
|
Равносильность формул и законы логики высказываний |
||
|
||
|
|
Законы логики высказываний
Часть из законов следует прямо из определений, часть проверяется построением таблиц истинности
Некоторые законы имеют специальные названия.
1 è 10 законы коммутативности
2 è 20 законы ассоциативности
3 è 30 законы дистрибутивности
Логика высказываний