![]() |
Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | |
|
До сих пор мы занимались равносильными преобразованиями формул, не содержащих знаков импликации и эквиваленции “®“ и “«“. Сейчас покажем, что всякую формулу, содержащую ® или «, можно заменить равносильной ей формулой, не содержащей этих знаков.
Имеют место следующие равносильности:
C®Uº ÚU (1) C®Uº
(2)
Докажем равносильность (1) с помощью таблицы истинности:
X | Y | X®U | ![]() | ![]() |
Дата публикования: 2014-12-08; Прочитано: 605 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!