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

Практическое занятие. Логика высказываний



Практическое занятие. ЛОГИКА ВЫСКАЗЫВАНИЙ.

~
                     
                     
                     
                     
Принят следующий приоритет выполнения логических операций: , (&, |, ), , , (~, ). Если необходимо изменить порядок их выполнения, то используют круглые скобки.

Для любых формул логики высказываний справедливы следующие основные равносильности:

1) ;

2)

3)

4) (идемпотентность)

5) (закон двойного отрицания)

6) (законы поглощения)

7) (законы расщепления)

8) (законы де Моргана)

9) , , , ,





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



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