Практическое занятие ОПЕРАЦИИ (логические) Преподаватель: Доцент Кафедры ВС, к.т.н. Поляков Артем Юрьевич © Кафедра вычислительных систем ФГОБУ ВПО «СибГУТИ» ФГОБУ ВПО "СибГУТИ" Кафедра вычислительных систем Дисциплины "ЯЗЫКИ ПРОГРАММИРОВАНИЯ" "ПРОГРАММИРОВАНИЕ"

Булева алгебра © Кафедра вычислительных систем ФГОБУ ВПО «СибГУТИ» 2 Ассоциативность Коммутативность Поглощение Дистрибутивность Комплементарность Законы де Моргана Закон Блейка-Порецкого Идемпотентность Двойное отрицание Склеивание Аксиомы Свойства

Задачи © Кафедра вычислительных систем ФГОБУ ВПО «СибГУТИ» 3 I. Проверить истинность свойств путем построения таблиц истинности и диаграмм Эйлера-Венна. II. Упростить с использованием аксиом. Проверить истинность полученного результата с построив таблицы истинности

Задачи (2) © Кафедра вычислительных систем ФГОБУ ВПО «СибГУТИ» 4 III. Разработать программу, обеспечивающую проверку попадания заданной координаты в указанный интервал: 1.x [0; + ) 2.x [5; 15) 3.x (-1; 1) 4.x (-1; 1) [5; 15) 5.x (-1; 1) [5; 15) {20, 100, 1000} IV. Разработать программу, обеспечивающую проверку попадания координат точки двумерного пространства в заданную область: 1.(x,y) (-1; 1) x (-1;1) 2.(x,y) (-1; 1) [5; 15) x (-1;1) 3.(x,y) (-1; 1) [5; 15) x (-1;1) [2;3]

Задачи для самостоятельной работы (задача о рыцарях и лжецах) © Кафедра вычислительных систем ФГОБУ ВПО «СибГУТИ» 5 П.4.1. Жители страны рыцарей всегда говорят правду, жители страны лжецов – наоборот всегда лгут. Однако путешествуя по любой из этих стран днем вы можете встретить как лжеца, так и рыцаря. Требуется определить в какой стране вы сейчас находитесь. Есть версия, что по ответу на вопрос "Вы живете в этой стране?" можно однозначно определить страну. Проверьте это утверждение с помощью таблицы истинности, считая, что есть 2 булевы переменные: x – в какой стране живет опрашиваемый, y – страна, в которой вы находитесь. Пусть 0 будет страна лжецов, а 1 – страна рыцарей. П.4.2. Постройте отрицание фразы "У любого уважающего себя дворника не валяется ни одной соринки". П.4.3. Упростить с использованием аксиом. Проверить истинность полученного результата с построив таблицы истинности

Задачи (2) © Кафедра вычислительных систем ФГОБУ ВПО «СибГУТИ» 6 П.4.4. Разработать программу, обеспечивающую проверку попадания заданной координаты в указанный интервал: 1.x (- ; 0) 2.x (3; 6] 3.x (-3; 2) 4.x (-3; 2) (3; 6] 5.x (-3; 2) (3; 6] {9, 12, 15} П.4.5. Разработать программу, обеспечивающую проверку попадания координат точки двумерного пространства в заданную область: 1.(x,y) (0; 2) x [-2;1] 2.(x,y) (0; 2) (3; 6] x [-2;1] 3.(x,y) (0; 2) (3; 6] x [-2;1] (2;3)