Составление таблиц истинности по логической формуле Приоритет логических операций ИНВЕРСИЯ КОНЪЮНКЦИЯ ДИЗЪЮНКЦИЯ Порядок действий можно указать с помощью.

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



Advertisements
Похожие презентации
Для определения истинности или ложности сложного логического выражения используют таблицы истинности. Количество строк напрямую зависит от количества.
Advertisements

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

Составление таблиц истинности по логической формуле Приоритет логических операций ИНВЕРСИЯ КОНЪЮНКЦИЯ ДИЗЪЮНКЦИЯ Порядок действий можно указать с помощью скобок () ИМПЛИКАЦИЯ, ЭКВИВАЛЕНТНОСТЬ

Пример: Постройте таблицу истинности (¬А В) (А В) 1. Расставим порядок действий Построим таблицу истинности А В(¬А В) (А В)¬А В ¬А¬АВА 3. Заполняем таблицу

Задача В деле о краже имеется два подозреваемых - Пьер и Жан. Суд опрашивает четверых свидетелей. Я точно знаю, что Пьер невиновен А я знаю, что Жан невиновен Первый свидетель Я знаю, что из первых двух показаний, по меньшей мере, одно истинно. Я знаю, что третий свидетель лжёт Третий свидетель Четвертый свидетель Второй свидетель В итоге выяснилось, что правду сказал именно четвертый свидетель. Кто же совершил кражу?

СвидетельВысказывание Символическая форма 1 Я точно знаю, что Пьер невиновен ¬А¬А 2 А я знаю, что Жан невиновен ¬ В 3 Я знаю, что из первых двух показаний, по меньшей мере, одно истинно. ¬А V ¬В 4 Я знаю, что третий свидетель лжёт ¬(¬А V ¬В)=1 Пусть А – это высказывание «Пьер виновен» В –высказывание «Жан виновен»

Составим таблицу истинности АВ¬А¬А¬В¬В¬А V ¬В¬(¬А V ¬В) ¬(¬А V ¬В)=1 Ответ: и Жан, и Пьер виновны

Высказывание: Пес болен или здоров А & ¬А А¬А¬А А ¬А Тождественно истинное высказывание. Высказывание: Компьютер включен, и компьютер выключен. А ¬А А¬А¬АА & ¬А Тождественно ложное высказывание.

Х - Не может быть, что Матроскин выиграл приз и отказался от него Y – Или Матроскин не отказался от приза, или не выиграл его. А – Матроскин отказался от приза В – Матроскин выиграл приз. Х = ¬ ( А & В ) Y = ¬ А ¬ В АВ¬А¬А¬В¬ВА & В Х ¬ ( А & В ) Y (¬ А ¬ В) Х Y Равносильные Тождественные Эквивалентные Значения сложных высказываний совпадают при всех возможных значениях переменных входящих в них.