![]() |
Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | |
|
Приведем перечень равносильных формул и названий некоторых из них:
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. – первая формула, представляющая эквиваленцию через отрицание, дизъюнкцию и конъюнкцию;
25. – вторая формула, представляющая эквиваленцию через отрицание, дизъюнкцию и конъюнкцию.
Приведем две равносильные формулы, используемые в разделе ДНФ и КНФ:
26. – первое правило Блейка;
27. – второе правило Блейка.
Справедливость этих равносильных формул можно проверить построив их таблиц истинности.
Если в этих равносильных формулах символ заменить символом
, то получаются тавтологии, называемые основными.
Дата публикования: 2014-11-03; Прочитано: 583 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!