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

Методические указания. - отрицание, Ú - дизъюнкция, Ù (&) - конъюнкция,



Логические операции

- отрицание, Ú - дизъюнкция, Ù (&) - конъюнкция,

«(~) - эквиваленция, ® - импликация

Приоритет операций:

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

Таблица истинности

A B A Ú B A & B A «B A ® B
             
             
             
             

Пример. Построить таблицу истинности для высказывания (A Ú B) ®

A B A Ú B (A Ú B) ®
         
         
         
         

Задание 2. Построить таблицы истинности для высказываний

1) (A ® C) Ú C; 2) (AC Ú B) ® AC; 3) (A «BC) Ú ;

4) (A ® B ) & ( B ® C); 5) (B « C) Ú (A ® );

5) (A «C) Ú (B «).





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



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