Студопедия.Орг Главная | Случайная страница | Контакты | Мы поможем в написании вашей работы!  
 

Замена эквиваленции и импликации на конъюнкцию, дизъюнкцию и отрицание



До сих пор мы занимались равносильными преобразованиями формул, не содержащих знаков импликации и эквиваленции “®“ и “«“. Сейчас покажем, что всякую формулу, содержащую ® или «, можно заменить равносильной ей формулой, не содержащей этих знаков.

Имеют место следующие равносильности:

C®Uº ÚU (1)

C®Uº (2)

Докажем равносильность (1) с помощью таблицы истинности:

X Y X®U ÚU
         
         
         
         




Дата публикования: 2015-03-26; Прочитано: 514 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!



studopedia.org - Студопедия.Орг - 2014-2024 год. Студопедия не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования (0.005 с)...