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

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

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

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

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

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

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

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 «).