Реферат Курсовая Конспект
Понятие равносильности формул - раздел Образование, Понятие равносильности формул Определение 4.1. Формулы ...
|
Определение 4.1. Формулы и алгебры высказываний называются равносильными (эквивалентными), если при любых значениях входящих в них пропозициональных переменных логические значения получающихся из формул и высказываний совпадают. Для указания равносильности формул используют обозначение . Определение равносильности формул можно записать символически для любых конкретных высказываний
Не следует думать, что в обе формулы и непременно входят одни и те же переменные. Некоторые из переменных могут фактически отсутствовать в любой из них
I. Основные равносильности:
1. законы
2. идемпотентности.
3.
4.
5.
6.
7. - закон противоречия.
8. - закон исключенного третьего.
9. - закон снятия двойного отрицания.
10. законы
11. поглощения.
II. Равносильности, выражающие одни логические операциичерез другие:
1.
2.
3. законы
4. де Моргана.
5.
6.
III. Равносильности, выражающие основные законы алгебры логики:
1. - коммутативность конъюнкции.
2. - коммутативность дизъюнкции.
3. - ассоциативность конъюнкции.
4. - ассоциативность дизъюнкции.
5. - дистрибутивность конъюнкции относительно дизъюнкции.
6. - дистрибутивность дизъюнкции относительно конъюнкции.
4. Дополнительные равносильности
(сумма по модулю 2),
(стрелка Пирса),
(штрих Шеффера),
(закон склеивания),
(закон поглощения),
(закон обобщенного склеивания).
– Конец работы –
Эта тема принадлежит разделу:
Если функция f задана формулой построенной с помощью amp и переменных то по теореме о суперпозиции двойственных функций и ввиду того... Дизъюнктивная нормальная форма и совершенная дизъюнктивная...
Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Понятие равносильности формул
Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:
Твитнуть |
Новости и инфо для студентов