Реферат Курсовая Конспект
Основные тавтологии - раздел Образование, Методические указания и контрольные работы Приведем Перечень Равносильных Формул И Названий Некоторых Из Них: 1...
|
Приведем перечень равносильных формул и названий некоторых из них:
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. – второе правило Блейка.
Справедливость этих равносильных формул можно проверить построив их таблиц истинности.
Если в этих равносильных формулах символ заменить символом
, то получаются тавтологии, называемые основными.
– Конец работы –
Эта тема принадлежит разделу:
Кафедра высшей математики...
Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Основные тавтологии
Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:
Твитнуть |
Новости и инфо для студентов