Логические выражения и таблицы истинности

Содержание

Слайд 2

Логические выражения Каждое составное высказывание можно выразить в виде формулы(логического выражения),

Логические выражения

Каждое составное высказывание можно выразить в виде формулы(логического выражения), в

которую входят логические переменные, обозначающие высказывания, и знаки логических операций, обозначающие логические функции
Слайд 3

Логические выражения Для того, чтобы записать составное выражение в виде формулы

Логические выражения
Для того, чтобы записать составное выражение в виде формулы нужно

выделить простые высказывания и логические связи между ними.
Слайд 4

Логические выражения Задание. Записать в форме логического выражения составное высказывание «(2*2=5

Логические выражения

Задание. Записать в форме логического выражения составное высказывание
«(2*2=5 или

2*2=4) и (2*2≠5 или 2*2 ≠4)»
Найдем простые выражения
А= 2*2=5 – ложно (0); В= 2*2=4 – истинно (1)
Тогда составное высказывание можно записать так:
F= (А VВ) & (А V В);
Приоритет выполнения операций: ˉ, &, V
Подставим в логическое выражение значения логических переменных, и используя таблицы истинности базовых логических операций, получим значение логической функции
F= (А V В) & (А V В)=(0 V 1) &(1 V 0)=1&1=1
Слайд 5

Логические выражения Задание. Определите истинность составного высказывания: (А & В) &

Логические выражения

Задание. Определите истинность составного высказывания: (А & В) & (С

V D), состоящего из простых высказываний
А=«Принтер – устройство вывода информации»
B=«Процессор – устройство хранения информации»
С=«Монитор – устройство вывода информации»
D=«Клавиатура – устройство обработки информации»
Слайд 6

Таблицы истинности Для каждого логического выражения можно построить таблицу истинности, которая

Таблицы истинности

Для каждого логического выражения можно построить таблицу истинности, которая

определяет его истинность или ложность при всех возможных комбинациях исходных значений простых высказываний
Слайд 7

Таблицы истинности При построении таблиц истинности целесообразно пользоваться следующей последовательностью действий.

Таблицы истинности

При построении таблиц истинности целесообразно пользоваться следующей последовательностью действий.
Определить количество

строк. Если количество логических переменных равно n, то количество строк =2n.
Определить количество столбцов, которое равно количеству логических переменных +количество логических операций.
Построить таблицу и внести возможные наборы значений исходных переменных.
Заполнить таблицу по столбцам, выполняя базовые логические операции.
Слайд 8

Таблицы истинности Задание. Построить таблицу истинности логического выражения (А VВ) & (А V В).

Таблицы истинности

Задание. Построить таблицу истинности логического выражения (А VВ) & (А

V В).
Слайд 9

Равносильные выражения Логические выражения, у которых последние столбцы таблиц истинности совпадают,

Равносильные выражения

Логические выражения, у которых последние столбцы таблиц истинности совпадают,

называются равносильными.
Для обозначения равносильных логических выражений используется знак «=».
Слайд 10

Равносильные выражения Задание. Доказать, что логические выражения А & В и

Равносильные выражения

Задание. Доказать, что логические выражения
А & В и

А V В и равносильны
Построим таблицы истинности
Слайд 11

Вопросы: Из чего состоит логическое выражение? Приоритет операций Что содержит таблица

Вопросы:

Из чего состоит логическое выражение?
Приоритет операций
Что содержит таблица истинности?
Зачем нужно строить

таблицу истинности
Какие логические выражения называются равносильными?