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

Слайд 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)ОКНО