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

Способы доказательства логических выражений с использованием специальных приемов



Способ доказательства с использованием раскрытия Булевых операций их из определения и некоторых законов логики Буля.

1 пример. Доказать тождество

(a∩b∩c)→(a U b U c)=(a→b) U (b→c) U (c→a)

Доказательство: (a∩b∩c)→(a U b U c)=по определению операции импликации = = по закону де Моргана = = по определению импликации = ;

Доказательство:

Доказательство специального характера

Доказать, что если

Доказательство:

 
 


Доказательство и использованием “Умножения” слева и справа. На дополнительную импликанту.

Доказать закон де Моргана

умножим слева на (a U b):

умножим справа (a U b):






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



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