Законы алгебры высказываний
1. А Λ А = А
2. А V А = А законы идемпотенции
3. А Λ В = В Λ А законы
4. А V В = В V А коммутативности
5. (А Λ В) Λ С = А Λ (В Λ С)
6. (А V В) V С = А V (В V С)
законы ассоциативности
7. Дистрибутивность умножения относительно сложения
(А Λ В) V (А Λ С) = А Λ (В V С)
8. Дистрибутивность сложения относительно умножения
(А V В) Λ (А V С) = А V (В Λ С)
9. Ø(А Λ В) = ØА V ØВ
10. Ø(А V В) = Ø А Λ ØВ законы де Моргана
11. А Þ В=ØА Þ ØВ - закон контрпозиции
12. А Þ В = ØА V В
13. А Û В = (АÞВ)Λ(ВÞА)
14. Ø( А Þ В) = А Λ ØВ
15. Ø(ØА)=А – закон двойного отрицания
16. А V (А Λ В) = А
17. А Λ (А V В) = А Законы поглощения
18. А V ØА = 1 (И) - закон исключенного третьего
19. А Λ ØА = 0 (Л) – закон противоречия
20. Λ 1= А
21. А V 1 = 1
22. А Λ 0 = 0
23. А V 0 = А
Законы алгебры высказываний
1. А Λ А = А
2. А V А = А законы идемпотенции
3. А Λ В = В Λ А законы
4. А V В = В V А коммутативности
5. (А Λ В) Λ С = А Λ (В Λ С)
6. (А V В) V С = А V (В V С)
законы ассоциативности
7. Дистрибутивность умножения относительно сложения
(А Λ В) V (А Λ С) = А Λ (В V С)
8. Дистрибутивность сложения относительно умножения
(А V В) Λ (А V С) = А V (В Λ С)
9. Ø(А Λ В) = ØА V ØВ
10. Ø(А V В) = Ø А Λ ØВ законы де Моргана
11. А Þ В=ØА Þ ØВ - закон контрпозиции
12. А Þ В = ØА V В
13. А Û В = (АÞВ)Λ(ВÞА)
14. Ø( А Þ В) = А Λ ØВ
15. Ø(ØА)=А – закон двойного отрицания
16. А V (А Λ В) = А
17. А Λ (А V В) = А Законы поглощения
18. А V ØА = 1 (И) - закон исключенного третьего
19. А Λ ØА = 0 (Л) – закон противоречия
20. Λ 1= А
21. А V 1 = 1
22. А Λ 0 = 0
23. А V 0 = А
Законы алгебры высказываний
1. А Λ А = А
2. А V А = А законы идемпотенции
3. А Λ В = В Λ А законы
4. А V В = В V А коммутативности
5. (А Λ В) Λ С = А Λ (В Λ С)
6. (А V В) V С = А V (В V С)
законы ассоциативности
7. Дистрибутивность умножения относительно сложения
(А Λ В) V (А Λ С) = А Λ (В V С)
8. Дистрибутивность сложения относительно умножения
(А V В) Λ (А V С) = А V (В Λ С)
9. Ø(А Λ В) = ØА V ØВ
10. Ø(А V В) = Ø А Λ ØВ законы де Моргана
11. А Þ В=ØА Þ ØВ - закон контрпозиции
12. А Þ В = ØА V В
13. А Û В = (АÞВ)Λ(ВÞА)
14. Ø( А Þ В) = А Λ ØВ
15. Ø(ØА)=А – закон двойного отрицания
16. А V (А Λ В) = А
17. А Λ (А V В) = А Законы поглощения
18. А V ØА = 1 (И) - закон исключенного третьего
19. А Λ ØА = 0 (Л) – закон противоречия
20. Λ 1= А
21. А V 1 = 1
22. А Λ 0 = 0
23. А V 0 = А
Законы алгебры высказываний
1. А Λ А = А
2. А V А = А законы идемпотенции
3. А Λ В = В Λ А законы
4. А V В = В V А коммутативности
5. (А Λ В) Λ С = А Λ (В Λ С)
6. (А V В) V С = А V (В V С)
законы ассоциативности
7. Дистрибутивность умножения относительно сложения
(А Λ В) V (А Λ С) = А Λ (В V С)
8. Дистрибутивность сложения относительно умножения
(А V В) Λ (А V С) = А V (В Λ С)
9. Ø(А Λ В) = ØА V ØВ
10. Ø(А V В) = Ø А Λ ØВ законы де Моргана
11. А Þ В=ØА Þ ØВ - закон контрпозиции
12. А Þ В = ØА V В
13. А Û В = (АÞВ)Λ(ВÞА)
14. Ø( А Þ В) = А Λ ØВ
15. Ø(ØА)=А – закон двойного отрицания
16. А V (А Λ В) = А
17. А Λ (А V В) = А Законы поглощения
18. А V ØА = 1 (И) - закон исключенного третьего
19. А Λ ØА = 0 (Л) – закон противоречия
20. Λ 1= А
21. А V 1 = 1
22. А Λ 0 = 0
23. А V 0 = А
