рефераты конспекты курсовые дипломные лекции шпоры

Раздел Образование
/
Основные тавтологии

Реферат Курсовая Конспект

Выберите учебное заведение

Основные тавтологии

Основные тавтологии - раздел Образование, Методические указания и контрольные работы Приведем Перечень Равносильных Формул И Названий Некоторых Из Них: 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. – второе правило Блейка.

Справедливость этих равносильных формул можно проверить построив их таблиц истинности.

Если в этих равносильных формулах символ заменить символом , то получаются тавтологии, называемые основными.

Развернуть

Открыть в широком формате

– Конец работы –

Эта тема принадлежит разделу:

Методические указания и контрольные работы

Кафедра высшей математики...

Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Основные тавтологии

Что будем делать с полученным материалом:

Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:

Все темы данного раздела:

Решение.
Найдем все элементы множеств и

Решение.
Доказательство равенства двух множеств состоит из доказательства двух включений: а)

Решение.
Найдем все элементы бинарного отношения :

Решение.
Запишем данную формулу: ; применим формулу 10:

Решение.
Запишем данную формулу: ; дважды применим формулу 22:

Решение.
Построим таблицу истинности данной формулы:

Решение.
Каждой формуле алгебры высказываний соответствует один многочлен Жегалкина. Равносильным формулам соответствует один и тот же многочлен Жегалкина. Обратно, каждому многочлену Жегалкина соответствуе

Решение.
Составим функцию проводимости данной релейно-контакт-ной схемы. Для этого рассмотрим две простейшие релейно-кон-тактные схемы:

Бинарное отношение
Прямым произведением двух множеств

Действия над высказываниями
Высказывание является первичным понятием математической логики, которое не имеет строгого определения. Высказывание – это всякое повествовательное предложение, которое либо истинно

Формулы алгебры высказываний
С помощью логических операций над высказываниями можно строить различные, более сложные высказывания. Определим понятие формулы алгебры высказываний. Формулой алгебры высказываний

Нормальные формы
Пусть (*) – высказывательные переменные. Элементарной дизъюнкцией (ЭД)

Функции алгебры логики
Функцией алгебры логики переменных (функцией Буляили булевой функцией) называ

Многочлен Жегалкина
Операция арифметического умножения нами введена. Введем новую логическую операцию, называемую сложением по модулю 2. Сложение по модулю 2 обозначается