Презентация составлена Сырцовой С.В. Часть 2. Проверим домашнее задание 18 – записать на доске Какие логические операции вам известны? Какими знаками.

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



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

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

Презентация составлена Сырцовой С.В. Часть 2

Проверим домашнее задание 18 – записать на доске Какие логические операции вам известны? Какими знаками обозначаются логические операции? В каком порядке выполняются логические операции?

Проверим домашнее задание Определите результат: а) 1 & 1 б) 0 & 1 в) 0 ^ 0 г) 1 ^ 0 д) 0 ν 0 е) 1 ν 1 ж) 1 ν 0 з) ¬1 ν 0 и) 0 ν ¬0 к) ¬0 ν ¬0 л) (¬1 ν 0) ^ 0 м) 1 & ¬1 & 1

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

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

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

Решим задачу 28 (стр. 54)

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

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

Решим задачу 29 (стр. 54) В каких пунктах мы видим пример эквивалентности? Пример какой еще логической операции мы видим? Разбейте сложные высказывания на простые и ответьте на вопрос задачи.

Решим задачу 30 (стр. 55) 1) («Иванов здоров» & «Иванов богат») => «Иванов здоров» …

Решим задачу 31 (стр. 55)

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

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

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

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

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

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

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

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

Учимся составлять таблицу истинности сложных выражений F = (AvB) & (A^B) 5.Провести заполнение таблицы истинности по столбцам, выполняя логические операции в соответствии с установленной последовательностью. 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)

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

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

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

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

Решим задачи 31 (стр. 55) 32 33

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