Логические высказывания
.pdf
Основные определение и операции |
Законы логики высказываний |
|
Равносильность формул и законы логики высказываний |
||
|
||
|
|
Законы логики высказываний
Пусть X, Y è Z логические переменные. Справедливы следующие законы логики высказываний :
1. X _Y eq Y _X |
10. X ^Y eq Y ^X |
Логика высказываний
Основные определение и операции |
Законы логики высказываний |
|
Равносильность формул и законы логики высказываний |
||
|
||
|
|
Законы логики высказываний
Пусть X, Y è Z логические переменные. Справедливы следующие законы логики высказываний :
1. X _Y eq Y _X |
10. X ^Y eq Y ^X |
2. (X _Y )_Z eq X _(Y _Z) |
20. (X ^Y )^Z eq X ^(Y ^Z) |
|
|
Логика высказываний
Основные определение и операции |
Законы логики высказываний |
|
Равносильность формул и законы логики высказываний |
||
|
||
|
|
Законы логики высказываний
Пусть X, Y è Z логические переменные. Справедливы следующие законы логики высказываний :
1. X _Y eq Y _X |
10. X ^Y eq Y ^X |
2. (X _Y )_Z eq X _(Y _Z) |
20. (X ^Y )^Z eq X ^(Y ^Z) |
3. X _(Y ^Z) eq (X _Y)^(X _Z) |
30. X ^(Y _Z) eq (X ^Y) _(X ^Z) |
|
|
Логика высказываний
Основные определение и операции |
Законы логики высказываний |
|
Равносильность формул и законы логики высказываний |
||
|
||
|
|
Законы логики высказываний
Пусть X, Y è Z логические переменные. Справедливы следующие законы логики высказываний :
1. X _Y eq Y _X |
10. X ^Y eq Y ^X |
2. (X _Y )_Z eq X _(Y _Z) |
20. (X ^Y )^Z eq X ^(Y ^Z) |
3. X _(Y ^Z) eq (X _Y)^(X _Z) |
30. X ^(Y _Z) eq (X ^Y) _(X ^Z) |
4. X _0 eq X |
40. X ^1 eq X |
|
|
Логика высказываний
Основные определение и операции |
Законы логики высказываний |
|
Равносильность формул и законы логики высказываний |
||
|
||
|
|
Законы логики высказываний
Пусть X, Y è Z логические переменные. Справедливы следующие законы логики высказываний :
1. X _Y eq Y _X |
10. X ^Y eq Y ^X |
2. (X _Y )_Z eq X _(Y _Z) |
20. (X ^Y )^Z eq X ^(Y ^Z) |
3. X _(Y ^Z) eq (X _Y)^(X _Z) |
30. X ^(Y _Z) eq (X ^Y) _(X ^Z) |
4. X _0 eq X |
40. X ^1 eq X |
5. X _:X eq 1 |
50. X ^:X eq 0 |
|
|
Логика высказываний
Основные определение и операции |
Законы логики высказываний |
|
Равносильность формул и законы логики высказываний |
||
|
||
|
|
Законы логики высказываний
Пусть X, Y è Z логические переменные. Справедливы следующие законы логики высказываний :
1. X _Y eq Y _X |
10. X ^Y eq Y ^X |
|||||
2. (X _Y )_Z eq X _(Y _Z) |
20. (X ^Y )^Z eq X ^(Y ^Z) |
|||||
3. X _(Y ^Z) eq (X _Y)^(X _Z) |
30. X ^(Y _Z) eq (X ^Y) _(X ^Z) |
|||||
4. X _0 eq X |
40. X ^1 eq X |
|||||
5. X _:X eq 1 |
50. X ^:X eq 0 |
|||||
6; 60. :(:X) eq X |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Логика высказываний
Основные определение и операции |
Законы логики высказываний |
|
Равносильность формул и законы логики высказываний |
||
|
||
|
|
Законы логики высказываний
Пусть X, Y è Z логические переменные. Справедливы следующие законы логики высказываний :
1. X _Y eq Y _X |
10. X ^Y eq Y ^X |
|||||
2. (X _Y )_Z eq X _(Y _Z) |
20. (X ^Y )^Z eq X ^(Y ^Z) |
|||||
3. X _(Y ^Z) eq (X _Y)^(X _Z) |
30. X ^(Y _Z) eq (X ^Y) _(X ^Z) |
|||||
4. X _0 eq X |
40. X ^1 eq X |
|||||
5. X _:X eq 1 |
50. X ^:X eq 0 |
|||||
6; 60. :(:X) eq X |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Логика высказываний
Основные определение и операции |
Законы логики высказываний |
||
Равносильность формул и законы логики высказываний |
|||
|
|
||
|
|
|
|
Законы логики высказываний |
|
||
7. X _X eq X |
|
70. X ^X eq X |
|
|
|||
|
|
|
|
Логика высказываний
Основные определение и операции |
Законы логики высказываний |
||
Равносильность формул и законы логики высказываний |
|||
|
|
||
|
|
|
|
Законы логики высказываний |
|
||
7. X _X eq X |
|
70. X ^X eq X |
|
|
|||
8. X _1 eq 1 |
|
80. X ^0 eq 0 |
|
|
|
|
|
Логика высказываний
Основные определение и операции |
Законы логики высказываний |
||
Равносильность формул и законы логики высказываний |
|||
|
|
||
|
|
|
|
Законы логики высказываний |
|
||
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 |
|
|
|
|
|
Логика высказываний