Презентация по информатике на тему Основные законы алгебры логики

ОСНОВНЫЕ ЗАКОНЫ АЛГЕБРЫ ЛОГИКИ Учитель информатики отделения основного общего образования ГОБУ СПО ВО «Бутурлиновский механико-технологический колледж» г.Бутурлиновка Вылегжанина Татьяна Викторовна Первые учения о формах и способах рассуждений возникли в странах Древнего Востока (Китай, Индия) В основе современной логики лежат учения, созданные древнегреческими мыслителями (Аристотель, Геродот) Аристотель 384-322 до н.э Геродот ок 490-425 до н.э ЛОГИКА – наука о формах и способах мышления Законы мышления отражают в сознании человека свойства, связи и отношения объектов окружающего мира Высказывание Понятие Умозаключение Высказывание –логическое выражение, истинность которого требуется доказать Высказывание не может быть выражено повелительным или вопросительным предложением Высказывание имеет 2 значения:ложь – (false) – 0истина – (true) - 1 Высказывание – обозначается большими буквами латинского алфавита (А, В, С) ЛОГИЧЕСКИЕ ОПЕРАЦИИ Конъюнкция (логическое умножение) читается обозначается А ^ B Конъюнкция истинна тогда и только тогда, когда оба высказывания истинны И 1 1 1 0 1 0 0 0 1 0 0 0 А Λ В В А Таблица истинности логического умножения Дизъюнкция (логическое сложение)читается обозначается А ν BДизъюнкция истинна, когда хотя бы одно высказывание истинно ИЛИ 1 1 1 1 1 0 1 0 1 0 0 0 А ν В В А Таблица истинности логического сложения Инверсия (логическое отрицание)читается обозначается А (не А) НЕ 0 1 1 0 А А Таблица истинности логического отрицания Импликация (логическое следование)обозначается А BИмпликация ложна, тогда и только тогда, когда из истины следует ложный вывод 1 1 1 0 0 1 1 1 0 1 0 0 А В В А Таблица истинности логической функции «импликация» Эквивалентность (логическое равенство)обозначается А ~ BЭквивалентность истинна, тогда и только тогда, когда оба высказывания одновременно либо ложны, либо истинны 1 1 1 0 0 1 0 1 0 1 0 0 А ~ В В А Таблица истинности логической функции эквивалентности Логические выражения, у которых последние столбцы таблиц истинности совпадают, называются равносильными и Построить таблицы истинности и выяснить, равносильны ли данные выражения 1 0 1 1 1 1 0 1 0 0 1 0 1 1 0 0 А В В В А 0 0 1 1 0 0 0 1 1 1 1 0 0 1 0 0 А В А В А ВЫВОД: Последние столбцы таблиц истинности не совпадают, следовательно, данные выражения не равносильны Даны выражения: Список источников 1. Учебник «Информатика и ИКТ» Семакин И.Г., изд. Москва «БИНОМ», 2014 г.2. Изображение:Древний Восток: http://www.yana.kiev.ua/img/resortsb/1965387912.jpg http://apxeo.info/wp-content/uploads/2012/07/pers.jpg Аристотель: http://modafix.ru/images/arist1.jpg Геродот: http://www.stadtwanderer.net/media/sherodot.jpg Логика: http://gcvhf.biz/images/55daf80fc2ffc.jpg http://www.stihi.ru/pics/2011/04/05/3574.gif