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

Лабораторная работа № 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 «).