Алгебра логики2


Чтобы посмотреть презентацию с оформлением и слайдами, скачайте ее файл и откройте в PowerPoint на своем компьютере.
Текстовое содержимое слайдов:

Пункт на­зна­че­ния Ка­те­го­рия по­ез­да Время в пути Вок­зал Рига ско­рый 15:45 Риж­ский Ро­стов фир­мен­ный 17:36 Ка­зан­ский Са­ма­ра фир­мен­ный 14:20 Ка­зан­ский Са­ма­ра ско­рый 17:40 Ка­зан­ский Са­ма­ра ско­рый 15:56 Ка­зан­ский Са­ма­ра ско­рый 15:56 Па­ве­лец­кий Са­ма­ра фир­мен­ный 23:14 Кур­ский Санкт-Пе­тер­бург ско­рый 8:00 Ле­нин­град­ский Санкт-Пе­тер­бург ско­рый 4:00 Ле­нин­град­ский Са­ра­тов ско­рый 14:57 Па­ве­лец­кий Са­ра­тов пас­са­жир­ский 15:58 Па­ве­лец­кий Са­ра­тов ско­рый 15:30 Па­ве­лец­кий (из ОГЭ 12) Ниже в таб­лич­ной форме пред­став­лен фраг­мент базы дан­ных «От­прав­ле­ние по­ез­дов даль­не­го сле­до­ва­ния»:  Сколь­ко за­пи­сей в дан­ном фраг­мен­те удо­вле­тво­ря­ют усло­вию (Ка­те­го­рия по­ез­да = «ско­рый») ИЛИ (Вок­зал = «Па­ве­лец­кий»)? В от­ве­те ука­жи­те одно число — ис­ко­мое ко­ли­че­ство за­пи­сей Повторение Пункт на­зна­че­ния Ка­те­го­рия по­ез­да Время в пути Вок­зал Ба­ла­ко­во ско­рый 20:22 Па­ве­лец­кий Бийск ско­рый 61:11 Ка­зан­ский Биш­кек ско­рый 121:20 Ка­зан­ский Бла­го­ве­щенск пас­са­жир­ский 142:06 Яро­слав­ский Брест ско­рый 14:19 Бе­ло­рус­ский Ва­луй­ки фир­мен­ный 14:57 Кур­ский Варна ско­рый 47:54 Ки­ев­ский Вол­го­град ско­рый 18:50 Па­ве­лец­кий Вол­го­град ско­рый 24:50 Кур­ский Вор­ку­та пас­са­жир­ский 48:19 Яро­слав­ский Вор­ку­та пас­са­жир­ский 48:19 Яро­слав­ский Грод­но ско­рый 16:34 Бе­ло­рус­ский Ниже в таб­лич­ной форме пред­став­лен фраг­мент базы дан­ных «От­прав­ле­ние по­ез­дов даль­не­го сле­до­ва­ния»:  Сколь­ко за­пи­сей в дан­ном фраг­мен­те удо­вле­тво­ря­ют усло­вию (Ка­те­го­рия по­ез­да = «ско­рый») И (Время в пути > 40:00)? В от­ве­те ука­жи­те одно число — ис­ко­мое ко­ли­че­ство за­пи­сей. Связка «не» - ИНВЕРСИЯ Обозначение «Ї»Таблица истинности A 1 0 0 1 Повторение Связка «И» - КОНЪЮНКЦИЯ Обозначение «^» &Например: A^BИстина если только оба высказывания истина Таблица истинности А В А&B 1 1 1 1 0 0 0 1 0 0 0 0 Повторение Связка «ИЛИ» - ДИЗЪЮНКЦИЯ Обозначение «v»Например: A v B Истина если хотя бы одно из высказываний истина Таблица истинности А В А v B 1 1 1 1 0 1 0 1 1 0 0 0 Повторение Связка «тогда и только тогда» - ЭКВИВАЛЕНТНОСТЬ Обозначение «~ » , Истина если оба высказывания истина или оба ложныТаблица истинности А В А ~ B 1 1 1 1 0 0 0 1 0 0 0 1 Повторение Связка «ЕСЛИ,ТО» - ИМПЛИКАЦИЯ Обозначение «→»Истина всегда, кроме случая из истины ложь Таблица истинности А В А → B 1 1 1 1 0 0 0 1 1 0 0 1 Повторение Заполнить таблицу истинности Повторение 1 вариант 2 вариант А В А ꓦ В А→ В А & В А ↔ В 1 0 0 0 А В А ꓦ В А→ В А & В А ↔ В 0 1 1 1 Заполнить таблицу истинности Повторение 1 вариант 2 вариант А В А ꓦ В А→ В А & В А ↔ В 1 0 1 0 0 0 0 0 0 1 0 1 А В А ꓦ В А→ В А & В А ↔ В 0 1 1 1 0 0 1 1 1 1 1 1 Связка «Либо-Либо» - исключающее ИЛИ Обозначение Истина если только одно из высказываний истина Таблица истинности А В А + B 1 1 0 1 0 1 0 1 1 0 0 0 Продолжение урока + Продолжение урока Составить таблицу истинности для формулы Порядок вычислений:то что в скобкахсогласно старшинству операций:* Если приоритет одинаковый, то слева направо не - и & или, искл. или ꓥ если то → эквиваленция ↔ F=(АꓥВ) ꓦ (А→В) Продолжение урока Составить таблицу истинности для формулы F=(АꓥВ) ꓦ (А→В) А В В АꓥВ А→В (АꓥВ) ꓦ (А→В) 0 0 1 0 1 1 0 1 0 0 1 1 1 0 1 1 0 1 1 1 0 0 1 1 Продолжение урока ТАВТОЛОГИЯ (ОБЩЕЗНАЧИМАЯ ФОРМУЛА) – формула, которая истина при любых входных значениях Отрицание общезначимой формулы – формула, которая не бывает истиной на при каких входных значениях Домашнее задание Является ли формула тавтологией F=(А→В) ꓥ (В→С) → (А→С) Домашнее задание Является ли формула тавтологией F=(А→В) ꓥ (В→С) → (А→С) А В С А→В В→С А→С (А→В) ꓥ (В→С) (А→В) ꓥ (В→С) → (А→С) 0 0 0 1 1 1 1 1 0 0 1 1 1 1 1 1 0 1 0 1 0 1 0 1 1 0 1 0 1 1 0 1

Приложенные файлы