Слайд 2
![Логические выражения Каждое составное высказывание можно выразить в виде формулы(логического](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/564719/slide-1.jpg)
Логические выражения
Каждое составное высказывание можно выразить в виде формулы(логического выражения), в
которую входят логические переменные, обозначающие высказывания, и знаки логических операций, обозначающие логические функции
Слайд 3
![Логические выражения Для того, чтобы записать составное выражение в виде](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/564719/slide-2.jpg)
Логические выражения
Для того, чтобы записать составное выражение в виде формулы нужно
выделить простые высказывания и логические связи между ними.
Слайд 4
![Логические выражения Задание. Записать в форме логического выражения составное высказывание](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/564719/slide-3.jpg)
Логические выражения
Задание. Записать в форме логического выражения составное высказывание
«(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
![Логические выражения Задание. Определите истинность составного высказывания: (А & В)](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/564719/slide-4.jpg)
Логические выражения
Задание. Определите истинность составного высказывания: (А & В) & (С
V D), состоящего из простых высказываний
А=«Принтер – устройство вывода информации»
B=«Процессор – устройство хранения информации»
С=«Монитор – устройство вывода информации»
D=«Клавиатура – устройство обработки информации»
Слайд 6
![Таблицы истинности Для каждого логического выражения можно построить таблицу истинности,](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/564719/slide-5.jpg)
Таблицы истинности
Для каждого логического выражения можно построить таблицу истинности, которая
определяет его истинность или ложность при всех возможных комбинациях исходных значений простых высказываний
Слайд 7
![Таблицы истинности При построении таблиц истинности целесообразно пользоваться следующей последовательностью](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/564719/slide-6.jpg)
Таблицы истинности
При построении таблиц истинности целесообразно пользоваться следующей последовательностью действий.
Определить количество
строк. Если количество логических переменных равно n, то количество строк =2n.
Определить количество столбцов, которое равно количеству логических переменных +количество логических операций.
Построить таблицу и внести возможные наборы значений исходных переменных.
Заполнить таблицу по столбцам, выполняя базовые логические операции.
Слайд 8
![Таблицы истинности Задание. Построить таблицу истинности логического выражения (А VВ) & (А V В).](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/564719/slide-7.jpg)
Таблицы истинности
Задание. Построить таблицу истинности логического выражения (А VВ) & (А
V В).
Слайд 9
![Равносильные выражения Логические выражения, у которых последние столбцы таблиц истинности](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/564719/slide-8.jpg)
Равносильные выражения
Логические выражения, у которых последние столбцы таблиц истинности совпадают,
называются равносильными.
Для обозначения равносильных логических выражений используется знак «=».
Слайд 10
![Равносильные выражения Задание. Доказать, что логические выражения А & В](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/564719/slide-9.jpg)
Равносильные выражения
Задание. Доказать, что логические выражения
А & В и
А V В и равносильны
Построим таблицы истинности
Слайд 11
![Вопросы: Из чего состоит логическое выражение? Приоритет операций Что содержит](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/564719/slide-10.jpg)
Вопросы:
Из чего состоит логическое выражение?
Приоритет операций
Что содержит таблица истинности?
Зачем нужно строить
таблицу истинности
Какие логические выражения называются равносильными?