Презентация на тему "Булева алгебра"
презентация к уроку по информатике и икт на тему

Булева алгебра

Скачать:

ВложениеРазмер
Office presentation icon bulevy_funktsii.ppt1.64 МБ

Предварительный просмотр:


Подписи к слайдам:

Слайд 2

Высказывания - логические величины, логические константы Высказывание (суждение) – это повествовательное предложение, в котором что-либо утверждается или отрицается. По поводу любого высказывания можно сказать истинно оно или ложно .

Слайд 3

Высказывания бывают общими, частными или единичными Общее высказывание начинается со слов: все, всякий, каждый, ни один Частное высказывание начинается со слов: некоторые, большинство , и т.п. Во всех других случаях высказывания являются единичными

Слайд 4

Какие из приведённых высказываний являются общими? Не все книги содержат полезную информацию Да Кошка является домашним животным Нет Все солдаты храбрые Да Ни один внимательный человек не совершит оплошность Да

Слайд 5

Какие из приведённых высказываний являются частными? Некоторые мои друзья собирают марки Да Все лекарства неприятны на вкус Нет А – первая буква в алфавите Нет Многие растения обладают целебными свойствами Да

Слайд 6

Логические переменные, выражения, операции Логическая переменная: символически обозначенная логическая величина (А, В, Х , Y, …) Логическое выражение – простое или сложное высказывание

Слайд 7

Булева функция это функция, аргументы и значение которой принадлежит множеству { 0, 1 }. f (x 1 ; x 2 ) или истины (TRUE) и лжи (False).

Слайд 8

Это раздел математики, возникший в XIX веке благодаря усилиям английского математика Дж. Буля. Применение в описании и разработке различных электронных схем. Законы алгебры логики стали использоваться при проектировании различных частей компьютеров (память, процессор).

Слайд 10

Таблица истинности (А- исходное высказывание, 1 – истина, 0 - ложь) А 1 0 0 1

Слайд 11

Объединение высказываний с помощью логического « И ». Высказывание, полученное в результате конъюнкции, ложно тогда и только тогда, когда ложно хотя бы одно из входящих высказываний Конъюнкция обозначается , & или ×

Слайд 12

Таблица истинности (А и В -исходные высказывание, 1 – истина, 0 -ложь) А В А & В 0 0 0 0 1 0 1 0 0 1 1 1

Слайд 13

Соединение высказываний с помощью логического «или» . Высказывание, полученное в результате дизъюнкции, истинно тогда и только тогда, когда истинно хотя бы одно из исходных высказываний. Дизъюнкция обозначается « V » или «+»

Слайд 14

Таблица истинности А В А V В 0 0 0 0 1 1 1 0 1 1 1 1

Слайд 15

Грамматической конструкции «если..., то...». Импликация ложна тогда и только тогда, когда посылка истинна, а заключение - ложно . В остальных случаях импликация истинна. Импликация обозначается знаками « » Пример : А=«выглянет Солнце» В=«станет тепло»

Слайд 16

Смысл высказываний А и В для указанных значений А → B Дождя нет Асфальт мокрый Дождь идет Асфальт сухой Дождя нет Асфальт сухой Дождь идет Асфальт мокрый Истина Ложь Истина Истина ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ (ИМПЛИКАЦИЯ) А – «На улице дождь» В – «Асфальт мокрый» А → B – «Если на улице дождь, то асфальт мокрый»

Слайд 17

Таблица истинности А В А В 0 0 1 0 1 1 1 0 0 1 1 1

Слайд 18

Полученное сложное высказывание содержит слова «тогда и только тогда, когда» … Эквивалентность истинна , если оба исходных высказывания имеют одинаковые истинностные значения. Эквивалентность обозначается знаком « » или . Пример: Прямоугольник является квадратом тогда и только тогда, когда все его стороны равны.

Слайд 19

Таблица истинности А В A В 1 1 1 1 0 0 0 1 0 0 0 1

Слайд 20

(А и В ) или ( Ā и В) (А & В ) v ( Ā & В) А В А & B Ā B Ā & В (А & В) v ( Ā & В) 0 0 0 1 1 1 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 0 1

Слайд 21

Каждая логическая функция двух аргументов имеет четыре возможных набора значений аргументов. Может существовать N = 2 4 = 16 различных логических функций двух аргументов.

Слайд 25

Решение задач Пример 1. Упростить: А ^В V А ^ ¬В По закону дистрибутивности вынесем А за скобки: А ^В V А ^ ¬В = A ^ (B V ¬B) = А ^ 1= А Пример 2. Упростить: ¬ (¬ X V ¬ Y ) ¬ (¬ X V ¬ Y ) = применим закон де Моргана ¬¬ X ^ ¬¬ Y = X ^ Y

Слайд 26

Пример 3. Упростить: (А V В) ^ (А V ¬В) первый способ Раскроем скобки по закону дистрибутивности: (А V В) ^ (А V ¬В) = A V (B ^ ¬B) = =A V 0 = А второй способ Перемножим скобки (как в обычной алгебре) на основании того же закона дистрибутивности: ( А V В ) ^ ( А V ¬ В ) = =A ^ A V A ^ ¬B V B ^ A V ¬B ^ B = = A V A ^ (¬B V B) V 0 = A V A ^ 1 = А

Слайд 27

Построить таблицу истинности Y→X XvY→(X^Y) X^Z →(XvZ)

Слайд 28

Формулы называются равносильными, если равносильны (равны) представленные ими высказывания. Пример: узнать равносильны ли два высказывания X →Y и X vY X →Y =X vY X Y X X →Y X vY 1 1 0 1 1 1 0 0 0 0 0 1 1 1 1 0 0 1 1 1

Слайд 29

Составьте таблицы истинности и выяснить, равносильны ли следующие высказывания: X→Y и Y→X X→Y и Z→Y^Z (YvX) ^X и X→Y

Слайд 30

Задание ЕГЭ Какое логическое высказывание равносильно выражению ¬(¬АvВ)v¬С : 1. (А^¬В)v¬С 2. ¬АvВv¬С 3. Аv¬В^С Решение : преобразуем выражение по закону де Моргана: ¬(¬АvВ)v¬С= (¬¬А^¬В)vС=(А^¬В)v¬С Ответ : 1

Слайд 31

1. Какое логическое высказывание равносильно выражению (¬Аv¬В)v¬С 1.¬(А^В)v¬С 2.¬А^¬Вv¬С 3. ¬А^(¬В^¬С ) Решение: вынесем отрицание за скобку ¬(А^В)v¬С 2. Какое логическое высказывание равносильно выражению ¬(А^¬В)^¬С 1.(¬АvВ)v¬С 2.(В^¬С)v(¬А^¬С) 3.(¬АvВ)vС Решение : воспользуемся законом де Моргана (¬Аv¬¬В)^¬С=(¬АvВ)^¬С, так как такого ответа нет продолжаем преобразовать высказывания дальше (¬А^¬С)v(В^¬С)

Слайд 32

Упростить и построить таблицу истинности x → y V (( x V y) ^ x) ; x ^ y V x ^ (y V x) Импликация выражается через отрицание и логическое сложение: x→y = x v y ¬(AvB) ¬A^(¬BvA)

Слайд 33

Символом N обозначено одно из указанных ниже логических выражений от трех аргументов: X , Y , Z . Дан фрагмент таблицы истинности выражения N . Какое выражение соответствует N ? X  Y  Z X  Y  Z (X  Y)  Z X  Y  Z X Y Z N 0 1 0 0 0 1 1 1 1 1 0 0

Слайд 34

Для какого слова истинно высказывание 1 . ¬(первая буква слова согласная→(вторая буква слова гласная v последняя буква слова гласная)) 1)ГОРА 2) БРИКЕТ 3)ТРУБКА 4) ПАРАД 2. ¬(первая и последняя буква слова согласная → первая и последняя буква совпадают) 1) КОМОК 2)ПРИВЕТ 3)ТРУБКА 4)ОКНО


По теме: методические разработки, презентации и конспекты

Презентация к уроку алгебры в 10 классе "Производная функции"

Презентация содержит вывод формул для нахождения производной элементарых функций: у = kx + b, у = х2 , у = х3 ...

Презентация к уроку алгебры в 7 классе по теме "Решение неравенств второй степени"

Презентация составлена к уроку по теме : "Решение неравенств второй степени"....

Презентация на уроки алгебры в 11 классе на темы "Возрастание и убывание функции. Экстремумы функции."

Презентация составлена на три урока. Часть материала я взяла из презентаций других учителей, за что им большое спасибо.Удобно уже сделанный материал компоновать по своему усмотрению для данного класса...

Презентация к урокам алгебры. "Итоговое повторение курса алгебры за 8 класс"

На последних уроках в конце учебного года, как правило, рассматриваются вопросы повторения тем, изученных в течении года. Цель ресурса – повторить материал прошедшего учебного года. Презентация предпо...

Презентация к уроку алгебры. "Повторение курса алгебры за 7 класс"

Цель ресурса – повторить материал изученный в течении учебного года. Презентация предполагает фронтальную работу в классе плюс решение одного и  того же примера выполняют два ученика. Бывае...

Презентация к уроку алгебры в 8 классе по теме "Квадратные уравнения" Презентация к уроку "Действительные числа"

Презентация к уроку объяснения нового материала по теме "Определение квадратных уравнений" Урок 8 класс.Презентация к уроку закрепления по теме "Действительные числа" в 8 классе....

Технологическая карта урока алгебры в 7 классе по теме "Раскрытие скобок", презентация к уроку алгебры в 7 классе по теме "Раскрытие скобок"

«Раскрытие скобок». Этот материал является подготовительным для решения уравнений новым способом, по программе на его усвоение отводится три часа. Данный урок первый. Нужно изучить и научиться примен...