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

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



Advertisements
Похожие презентации
ЛОГИЧЕСКИЕ ВЫРАЖЕНИЯ И ТАБЛИЦЫ ИСТИННОСТИ Сложные высказывания можно записывать в виде формул. Для этого простые логические высказывания нужно обозначить.
Advertisements

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

Алгебра высказываний

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

ИМПЛИКАЦИЯ (логическое следование) ABA => B

ИМПЛИКАЦИЯ (логическое следование) ABA => B

ЭКВИВАЛЕНТНОСТЬ (равнозначность) Можно выйти из класса тогда и только тогда,когда прозвенит звонок. На перемене можно отдохнуть тогда и только тогда, когда все сделано на уроке.

ЭКВИВАЛЕНТНОСТЬ (равнозначность) ABA B

Учимся составлять таблицу истинности сложных выражений 1. Необходимо определить количество строк в таблице истинности. количество строк = 2 n, где n – количество логических переменных 2. Необходимо определить количество столбцов в таблице истинности, которое равно количеству логических переменных плюс количество логических операций. F = (A ^ B) & (A v B)

3. Необходимо построить таблицу истинности с указанным количеством строк и столбцов, ввести названия столбцов таблицы в соответствии с последовательностью выполнения логических операций с учетом скобок и приоритетов; 4. Заполнить столбцы входных переменных наборами значений 5. Провести заполнение таблицы истинности по столбцам, выполняя логические операции в соответствии с установленной последовательностью.

Учимся составлять таблицу истинности сложных выражений 1. Необходимо определить количество строк в таблице истинности. количество строк = 2 n, где n – количество логических переменных F = (AvB) & (A^B)F = (A ^ B) & (A v B)

Учимся составлять таблицу истинности сложных выражений F = (AvB) & (A^B) 1. Необходимо определить количество столбцов в таблице истинности, которое равно количеству логических переменных плюс количество логических операций. F = (A ^ B) & (A v B)

Учимся составлять таблицу истинности сложных выражений F = (AvB) & (A^B) 1. Необходимо ввести названия столбцов таблицы в соответствии с последовательностью выполнения логических операций с учетом скобок и приоритетов; F = (A ^ B) & (A v B)

Учимся составлять таблицу истинности сложных выражений F = (AvB) & (A^B) 1. Необходимо ввести названия столбцов таблицы в соответствии с последовательностью выполнения логических операций с учетом скобок и приоритетов; ABA ^ BA v B(A^B) & (AvB) F = (A ^ B) & (A v B)

Учимся составлять таблицу истинности сложных выражений F = (AvB) & (A^B) 1. Заполнить столбцы входных переменных наборами значений ABA ^ BA v B(A^B) & (AvB) F = (A ^ B) & (A v B)

Учимся составлять таблицу истинности сложных выражений F = (AvB) & (A^B) 1. Заполнить столбцы входных переменных наборами значений ABA ^ BA v B(A^B) & (AvB) F = (A ^ B) & (A v B)

Учимся составлять таблицу истинности сложных выражений F = (AvB) & (A^B) 1. Провести заполнение таблицы истинности по столбцам, выполняя логические операции в соответствии с установленной последовательностью. ABA ^ BA v B(A^B) & (AvB) F = (A ^ B) & (A v B)

Учимся составлять таблицу истинности сложных выражений F = (AvB) & (A^B) 1. Провести заполнение таблицы истинности по столбцам, выполняя логические операции в соответствии с установленной последовательностью. ABA ^ BA v B(A^B) & (AvB) F = (A ^ B) & (A v B)

Учимся составлять таблицу истинности сложных выражений F = (AvB) & (A^B) ABA ^ BA v B(A^B) & (AvB) Провести заполнение таблицы истинности по столбцам, выполняя логические операции в соответствии с установленной последовательностью. F = (A ^ B) & (A v B)

Учимся составлять таблицу истинности сложных выражений F = (AvB) & (A^B) ABA ^ BA v B(A^B) & (AvB) Провести заполнение таблицы истинности по столбцам, выполняя логические операции в соответствии с установленной последовательностью. F = (A ^ B) & (A v B)

Учимся составлять таблицу истинности сложных выражений 1. Необходимо определить количество строк в таблице истинности. количество строк = 2 n, где n – количество логических переменных 2. Необходимо определить количество столбцов в таблице истинности, которое равно количеству логических переменных плюс количество логических операций. 3. Необходимо построить таблицу истинности с указанным количеством строк и столбцов, ввести названия столбцов таблицы в соответствии с последовательностью выполнения логических операций с учетом скобок и приоритетов; 4. Заполнить столбцы входных переменных наборами значений 5. Провести заполнение таблицы истинности по столбцам, выполняя логические операции в соответствии с установленной последовательностью. Постройте таблицу истинности Порядок выполнения логических операций в сложном логическом выражении: 1)Инверсия 2)Конъюнкция 3)Дизъюнкция 4)Импликация 5)Эквивалентность Порядок выполнения логических операций в сложном логическом выражении: 1)Инверсия 2)Конъюнкция 3)Дизъюнкция 4)Импликация 5)Эквивалентность A ^ (B v B => C)

Учимся составлять таблицу истинности сложных выражений Постройте таблицу истинности АВСBCB v B (1) (1) => CA ^(BvB=>C)

Учимся составлять таблицу истинности сложных выражений Постройте таблицу истинности АВСBCB v B (1) (1) => CA ^(BvB=>C)

Домашнее задание Построить таблицу истинности для формулы: ((А & В) => (В => К)) v С