Билет 15. «Основные тождества логики высказываний»
«Основные тождества логики высказываний».
1. А B B A (коммутативность )
2. А А А (идемпотентность )
3. А (В С) (А В) С (ассоциативность )
4. А В В А (коммутативность )
5. А А А (идемпотентность )
6. А (В С) (А В) С (ассоциативность )
7. А (В С) (А В) (А С) (дистрибутивность )
8. А (В С) (А В) (А С) (дистриб. )
9. А (А В) А (первый закон поглощения)
10. А (А В) А (второй закон поглощения)
11. А А (снятие двойного отрицания)
12. (А В) А В (первый закон де Моргана)
13. (А В) А В (второй закон де Моргана)
14. А (А В) (А В) (первая формула расщепления)
15. А (А В) (А В) (вторая формула расщепления)
Далее неосновные тождества.
16. А ~ В (A В) (В А) (А В) ( А В)
17. А В А В (А В)
18. А+В (А ~ В)
1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | Поиск по сайту:
|