ЛОГИКА ЛОГИКА – это наука о формах и способах мышления. Учение о способах рассуждений и доказательств.

ПОНЯТИЕ ПОНЯТИЕ – это форма мышления, которая выделяет существенные признаки предмета, позволяющие отличать его от других, например, ПРЯМОУГОЛЬНИК, КОМПЬЮТЕР МЫШЛЕНИЕ осуществляется через: ВЫСКАЗЫВАНИЕ ВЫСКАЗЫВАНИЕ – это формулировка своего понимания окружающего мира. УМОЗАКЛЮЧЕНИЕ УМОЗАКЛЮЧЕНИЕ – это форма мышления, с помощью которой из одного или нескольких суждений может быть получено новое (знание или вывод).

ВЫСКАЗЫВАНИЕ – это повествовательное предложение, относительно которого можно сказать, истинно оно или ложно ПРИМЕР «Буква «а» - гласная» - истинное истинное высказывание. ложное «Компьютер был изобретен в XXI веке» - ложное высказывание.

Задание 1. Задание 1. Какие из предложений являются высказываниями. Определите их истинность. 1. Какой длины эта лента? 2. Прослушайте сообщение. 3. Делайте утреннюю зарядку! 4. Назовите устройство ввода информации. 5. Кто отсутствует на уроке? 6. Париж – столица Англии. 7. Число 11 является простым = Без труда не вытащишь и рыбку из пруда. 10. Сложите числа 2 и Некоторые медведи живут на севере. 12. Все медведи – бурые.

АЛГЕБРА АЛГЕБРА – это наука об общих операциях, аналогичных сложению и умножению, которые могут выполняться над различными математическими объектами. АЛГЕБРА ЛОГИКИ АЛГЕБРА ЛОГИКИ выполняет различные операции над высказываниями. ВЫСКАЗЫВАНИЯ ПРОСТЫМИ СОСТАВНЫМИ ВЫСКАЗЫВАНИЯ могут быть ПРОСТЫМИ и СОСТАВНЫМИ

Простые высказывания Простые высказывания в алгебре логики обозначаются заглавными латинскими буквами: A = {Два больше трех} В = {На яблонях не растут бананы} Истинному высказыванию ставится в соответствие 1, ложному – 0. А = 0В = 1 Таким образом, А = 0, В = 1.

Составные высказывания Составные высказывания на естественном языке образуются с помощью союзов: Летом Саша поедет в деревню и, если будет хорошая погода, то он пойдет на рыбалку. Можно разбить на простые высказывания: A = {Саша поедет в деревню} В = {Будет хорошая погода} С = {Он пойдет на рыбалку} В алгебре логики союзы заменяются на логические операции

ОПЕРАЦИИ АЛГЕБРЫ ЛОГИКИ КОНЪЮНКЦИЯ (логическое умножение) (логическое умножение) – (соответствует союзу И; обозначается ) истинное тогда и только тогда, когда оба простых высказывания истинны это логическая операция, которая двум простым высказываниям ставит в соответствие составное истинное тогда и только тогда, когда оба простых высказывания истинны.

AB A B ТАБЛИЦА ИСТИННОСТИ

ДИЗЪЮНКЦИЯ (логическое сложение) (соответствует союзу ИЛИ; обозначается ) ложное тогда и только тогда, когда оба простых высказывания ложны это логическая операция, которая двум простым высказываниям ставит в соответствие составное ложное тогда и только тогда, когда оба простых высказывания ложны.

AB A B ТАБЛИЦА ИСТИННОСТИ

ИНВЕРСИЯ (логическое отрицание) (соответствует частице НЕ; обозначается ) истинное высказывание делает ложным и, наоборот, ложное истинным это логическая операция, которая истинное высказывание делает ложным и, наоборот, ложное истинным.AA01 10 ТАБЛИЦА ИСТИННОСТИ

ИМПЛИКАЦИЯ (логическое следование) (в естественном языке соответствует обороту речи: ЕСЛИ…, ТО…; обозначается ) ложное тогда и только тогда, когда из истинного высказывания следует ложное это логическая операция, которая двум простым высказываниям ставит в соответствие составное ложное тогда и только тогда, когда из истинного высказывания следует ложное.

AB A B ТАБЛИЦА ИСТИННОСТИ

ЭКВИВАЛЕНЦИЯ (равнозначность) (в естественном языке соответствует обороту речи: ТОГДА И ТОЛЬКО ТОГДА; В ТОМ И ТОЛЬКО В ТОМ СЛУЧАЕ; обозначается ) истинное тогда и только тогда, когда оба исходных простых высказывания одновременно истинны или одновременно ложны это логическая операция, которая двум простым высказываниям ставит в соответствие составное истинное тогда и только тогда, когда оба исходных простых высказывания одновременно истинны или одновременно ложны.

AB A B ТАБЛИЦА ИСТИННОСТИ

Логические операции имеют следующий приоритет: 1) ДЕЙСТВИЯ В СКОБКАХ 2) ИНВЕРСИЯ 3) КОНЪЮНКЦИЯ 4) ДИЗЪЮНКЦИЯ 5) ИМПЛИКАЦИЯ 6) ЭКВИВАЛЕНЦИЯ

ЗАДАНИЕ 2. ЗАДАНИЕ 2. Определите истинность составного высказывания, состоящего из простых высказываний: А={Принтер – устройство вывода информации}, В={Процессор – устройство хранения информации}, С={Монитор – устройство вывода информации}, D={Клавиатура – устройство обработки информации}.

ЗАДАНИЕ 3. ЗАДАНИЕ 3. Какие из высказываний A, B, C должны быть истинны и какие ложны, чтобы было ложно логическое выражение

ТАБЛИЦЕЙ ИСТИННОСТИ Таблицу, показывающую, какие значения принимает составное высказывание при всех сочетаниях (наборах) значений входящих в него простых высказываний, называют ТАБЛИЦЕЙ ИСТИННОСТИ составного высказывания

АЛГОРИТМ ПОСТРОЕНИЯ ТАБЛИЦЫ ИСТИННОСТИ: 1. Подсчитать количество простых высказываний n в логическом выражении. 2. Определить число строк в таблице m=2 n. 3. Установить последовательность логических операций с учетом скобок и приоритетов.

4. Определить количество столбцов в таблице: число переменных плюс число операций. 5. Выписать наборы входных переменных (используя алгоритм). 6. Провести заполнение таблицы истинности по столбикам, выполняя логические операции в соответствии с установленной последовательностью.

ЗАПОЛНЕНИЕ НАБОРОВ ВХОДНЫХ ПЕРЕМЕННЫХ: 1. Определить количество наборов входных переменных (оно соответствует числу строк в таблице и определяется по формуле m=2 n ). 2. Разделить колонку значений первой переменной пополам и заполнить верхнюю часть колонки 0, а нижнюю - 1.

3. Разделить колонку значений второй переменной на четыре части и заполнить каждую четверть чередующимися группами 0 и 1, начиная с группы Продолжить деление колонок последующих переменных на 8, 16 и т. д. частей и заполнение их группами 0 и 1 до тех пор, пока группы 0 и 1 не будут состоять из одного символа.

ПРИМЕР. ПРИМЕР. Для формулы построить таблицу истинности.ABC

Задание 10. Задание 10. Для следующих логических формул построить таблицы истинности.

Задание 11. Задание 11. Докажите справедливость следующих тождеств, построив таблицы истинности

Задание 12. Задание 12. Определите, при каких значениях A, B и C следующие высказывания истинны

Задача 1. В одной стране жили рыцари, которые всегда говорили только правду, и лжецы, которые всегда лгали. Однажды в страну проник шпион по имени Мердок, который, как и всякий шпион, иногда говорил правду, иногда лгал, в зависимости от того, что ему выгодно. Шпион поселился с двумя жителями страны – рыцарем и лжецом. Всех троих арестовали в один день и привели на допрос. Никто не знал, кто из них кто. Они сделали следующие заявления: А сказал: Я – Мердок. В сказал: А говорит правду. С сказал: Я не мердок. Кто же из них шпион – А, В или С?

Решение с помощью таблицы ПленникРыцарьЛжецШпион А В С А сказал: Я – Мердок. В сказал: А говорит правду. С сказал: Я не Мердок.

Задача 2. После традиционного вечера встречи с выпускниками школы в стенгазете появилась заметка о трех наших бывших учениках. В ней было сказано, что Иван, Андрей и Борис стали учителями. Теперь они преподают разные дисциплины: один из них – математику, второй – физику, а третий – химию. Живут они тоже в разных городах: Минске, Витебске, Харькове. В заметке было также написано, что их первоначальные планы осуществились не полностью: 1) Иван живет не Минске; 2) Андрей – не в Витебске; 3) Житель Минска преподает не математику; 4) Андрей преподает не физику; 5)Повезло только жителю Витебска: он преподает любимую химию. Можно ли по этим данным определить кто где живет и что преподает?

Имя Город МинскВитебскХарьков Иван Андрей Борис

Задача 3. В конструкторском бюро работают Антонов, Борисов Кириллов и Дроздов. Все хотят отдыхать летом, и поэтому при составлении графика отпусков всегда возникают споры. Попробуйте помочь составить график отпусков на 4 года, который бы удовлетворял следующим пожеланиям сотрудников: 1) в отпуск сотрудники хотят идти только с мая по август; 2) продолжительность отпуска – один месяц; 3) в каждом месяце в отпуск может пойти только один человек; 4) за четыре года каждый из четырех сотрудников должен получить отпуск по одному разу в каждом из этих месяцев; 5) в первый год Кириллов хочет отдыхать в июле; 6) во второй год Антонову отпуск нужен в мае; 7) в третий год Дроздову отпуск нужен в июне; 8) Борисов на четвертый год предполагает уйти в отпуск в июле; 9) в августе все хотят отдыхать следующим образом: в первый год – Дроздов, во второй – Кириллов, в третий – Борисов, в четвертый – Антонов.

Порядковый номер года Фамилия АнтоновБорисовКирилловДроздов

Задача 4. В одном доме живут Воронов, Павлов, Журавлев, Синицын. Один из них – математик, другой – художник, третий – писатель, а четвертый – баянист. Известно, что: 1) ни Воронов, ни Журавлев не умеют играть на баяне; 2) Журавлев не знаком с Вороновым; 3) писатель и художник в выходные уезжают на дачу к Павлову; 4) Писатель собирается написать очерк о Синицыне и Воронове; Требуется определить кто есть кто.

Фамилия Профессия Матема тик Худож ник ПисательБаянист Воронов Павлов Журавлев Синицын

Задача 5. В классе 36 человек. Ученики этого класса посещают математический, физический и химический кружки, причем математический кружок посещают 18 человек, физический – 14, химический – 10. Кроме того, известно, что 2 человека посещают все три кружка, 8 человек – и математический и физический, 5 – и математический и химический, 3 – и физический и химический

Решение с помощью кругов Эйлера

Задача 6. После зимних каникул классный руководитель спросил, кто из ребят ходил в театр, кино или цирк. Оказалось, что из 36 учеников класса двое не были ни в кино, ни в театре, ни в цирке. В кино побывало 25 человек, в театре – 11, в цирке – 17; и в кино, и в театре – 6; и в кино, и в цирке – 10; и в театре, и в цирке – 4. Сколько человек побывало и в кино, и в театре, и в цирке?

Решение с помощью кругов Эйлера

Логические элементы – это электронные схемы с одним или несколькими входами и одним выходом, через которые проходят электрические сигналы, представляющие цифры 0 или 1. Принцип работы логических элементов наглядно изображает таблица истинности

Логический элемент НЕ (NO) Выражение NO Х Y Таблица истинности:XY01 10

Логический элемент И (AND) Выражение AND Х Z Таблица истинности:XYZ Y

Логический элемент ИЛИ (OR) Выражение OR Х Z Таблица истинности:XYZ Y

Z Записать логическое выражение и составить таблицу истинности для данной схемы И Х P XYZP Y НЕ ИЛИ

Задание 1. НЕ Х XYZ Y ИЛИ Z И НЕ

Z И Х XYZ Y ИЛИ НЕ И Задание 2.

НЕ Х XYZ Y Z ИЛИ И И НЕ Задание 3.

Z И Х XYZ Y И НЕ ИЛИ Задание 4.

Z И Х XYZ Y ИЛИ НЕ ИЛИ Задание 5.

НЕ Х P XYZP Y И Z ИЛИ Задание 6.

ИЛИ Х P XYZP Y НЕ И Z Задание 7.