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

Методические указания. Цель работы.Изучить логические операции и основные равносильности алгебры логики, научиться составлять таблицы истинности для формул алгебры логики и

Лабораторная работа № 124.

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

Цель работы. Изучить логические операции и основные равносильности алгебры логики, научиться составлять таблицы истинности для формул алгебры логики и преобразовывать формулы, используя основные равносильности и правила поглощения.

Студенты с четными номерами по списку группы выполняют 2, 4, 6, 8, 10 задания, с нечетными номерами выполняют задания 1, 3, 5, 7, 9.

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

1) ; 2) ; 3) ; 4) ;

5) ; 6) ; 7) ; 8) ;

9) ; 10) .

Методические указания.

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

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

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

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

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

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

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

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

A B A Ú B (A Ú B) ®
         
         
         
         

Студенты с четными номерами по списку группы выполняют 2, 4, 6 задания, с нечетными номерами выполняют задания 1, 3, 5.


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

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

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

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


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



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