Автор: Доронина Екатерина Валерьевна, МКОУ СОШ 1, Г. Коркино Логические выражения и таблицы истинности.

Презентация:



Advertisements
Похожие презентации
Таблица истинности составных высказываний – это таблица, которая показывает какие значения принимает составное высказывание при всех сочетаниях значений.
Advertisements

Для определения истинности или ложности сложного логического выражения используют таблицы истинности. Количество строк напрямую зависит от количества.
Каждое составное высказывание можно выразить в виде формулы, в которую входят логические переменные, обозначающие высказывания, и знаки логических операций,
П ОСТРОЕНИЕ ТАБЛИЦ ИСТИННОСТИ ДЛЯ СЛОЖНЫХ ВЫСКАЗЫВАНИЙ. Подготовила учитель информатики высшей категории Габриэль Татьяна Васильевна.
Построение таблиц истинности логических выражений.
ЛОГИЧЕСКИЕ ВЫРАЖЕНИЯ И ТАБЛИЦЫ ИСТИННОСТИ ЛОГИЧЕСКИЕ ВЫРАЖЕНИЯ Каждое составное высказывание можно выразить в виде формулы (логического выражения), в.
ЛОГИЧЕСКИЕ ВЫРАЖЕНИЯ И ТАБЛИЦЫ ИСТИННОСТИ Сложные высказывания можно записывать в виде формул. Для этого простые логические высказывания нужно обозначить.
ОСНОВЫ ЛОГИКИ Кривенцов Леонид Александрович, учитель информатики и ИКТ МОУ-СОШ 4 г. Асино томской области.
Таблицы истинности Употребляемые в обычной речи логические связки в алгебре логики называются логическими операциями. Логические операции описываются.
1. Подсчитать количество переменных в логическом выражении. 2. Определить число строк в таблице m = 2 n 3. Подсчитать количество логических операций в.
Таблицы истинности.. Решение логических задач принято записывать в виде таблиц истинности – таблиц, в которых по действиям показано, какие значения принимает.
ГБПОУ «МСС УОР 2» Москомспорта Преподаватель информатики Володина М.В г.
Входные данные / ввод переменных в логическую схему Выполнение операции ИНВЕРСИЯ А В (0/1) А = 1 0 А = 0 1.
Логические выражения и таблицы истинности. Логические выражения Логическое выражение – логическая форма, содержащая одну или несколько переменных, соединенных.
Алгебра высказываний. ИМПЛИКАЦИЯ (логическое следование) Если будет дождь, то мы не пойдем на улицу. Если сегодня четверг, то завтра пятница. Если на.
Логика Логика – это наука о формах и способах мышления Подготовила учитель информатики МОУ СОШ 2 ст. Выселки Краснодарского края Лабужская Н. Д. Учебник.
« Человек не знал двух слов – да и нет. Он отвечал туманно : Может быть, возможно, мы подумаем …» Илья Ильф « Записные книжки »
Тема урока : ТАБЛИЦЫ ИСТИННОСТИ. На этом уроке нам необходимо решить следующую задачу : 1.Таблица истинности сложного логического выражения. Как правильно.
Историческая справка Основы формальной логики заложил Аристотель ( гг. до н.э.)- древнегреческий философ и учёный.
МОУ СОШ 7 п.Коммаяк Кировского района Ставропольского края Учитель высшей квалификационной категории Куликова Татьяна Ивановна.
Транксрипт:

Автор: Доронина Екатерина Валерьевна, МКОУ СОШ 1, Г. Коркино Логические выражения и таблицы истинности

Автор: Доронина Екатерина Валерьевна, МКОУ СОШ 1, Г. Коркино Каждое составное высказывание можно выразить в виде формулы (логического выражения), в которую входят логические переменные, обозначающие высказывания, и знаки логических операций, обозначающие логические функции.

Автор: Доронина Екатерина Валерьевна, МКОУ СОШ 1, Г. Коркино Записать в виде логической формулы высказывания: Администрация морского порта издала следующее распоряжение: Если капитан корабля получает специальное указание, то он должен покинуть порт на своем корабле Если капитан не получает специального указания, то он не должен покидать порт, или он впредь лишается допуска в этот порт Капитан или лишается допуска в этот порт, или не получает специального указания АВ А(В v С) С v А

Автор: Доронина Екатерина Валерьевна, МКОУ СОШ 1, Г. Коркино Для определения истинности данного высказывания А(В v С) необходимо знать значение переменных А, В, С. Допустим, А=1, В=0, С=1. Тогда 0(1 v 1) =1. Для определения всех наборов значений переменных, при которых выражение истинно, необходимо построить таблицу истинности выражения.

Автор: Доронина Екатерина Валерьевна, МКОУ СОШ 1, Г. Коркино Алгоритм построения таблиц истинности для сложных выражений: Определить количество строк: количество строк = 2 n + строка для заголовка, n - количество переменных. Определить количество столбцов: количество столбцов = количество переменных + количество логических операций; Внести в таблицу наборы значений логический переменных Заполнить столбцы результатами выполнения логических операций в обозначенной последовательности с учетом таблиц истинности основных логических операций.

Автор: Доронина Екатерина Валерьевна, МКОУ СОШ 1, Г. Коркино Приоритет операций инверсия; конъюнкция; дизъюнкция; импликация; эквивалентность.

Автор: Доронина Екатерина Валерьевна, МКОУ СОШ 1, Г. Коркино А(В v С) АВ САВВ v СА(В v С)