Добавить материал и получить бесплатное свидетельство о публикации в СМИ
Эл. №ФС77-60625 от 20.01.2015
Инфоурок / Информатика / Презентации / Законы алгебры логики и таблицы истинности

Законы алгебры логики и таблицы истинности


  • Информатика

Поделитесь материалом с коллегами:

ЗАКОНЫ АЛГЕБРЫ ЛОГИКИ ТАБЛИЦЫ ИСТИННОСТИ
ПЕРЕМЕСТИТЕЛЬНЫЙ ЗАКОН СОЧЕТАТЕЛЬНЫЙ ЗАКОН А V В = В V А А & В = В & А (А V В...
ЗАКОН ИСКЛЮЧЕННОГО ТРЕТЬЕГО ЗАКОН ДВОЙНОГО ОТРИЦАНИЯ А V ¬ А = 1 ¬ (¬А) = А З...
ТАБЛИЦЫ ИСТИННОСТИ Для каждого составного высказывания (логического выражения...
ТАБЛИЦЫ ИСТИННОСТИ Во –первых, необходимо определить количество строк в табли...
Составим таблицу истинности логической функции F = (AVB) & (¬AV¬B) A B AVB ¬A...
Составим таблицу истинности логической функции F = ¬A&¬B A B ¬A ¬B ¬A&¬B 0 0...
Составим таблицу истинности логической функции F = ¬(AVB) A B AvB ¬(AvB) 0 0...
РАВНОСИЛЬНЫЕ ЛОГИЧЕСКИЕ ВЫРАЖЕНИЯ Логические выражения, у которых последние с...
1 из 9

Описание презентации по отдельным слайдам:

№ слайда 1 ЗАКОНЫ АЛГЕБРЫ ЛОГИКИ ТАБЛИЦЫ ИСТИННОСТИ
Описание слайда:

ЗАКОНЫ АЛГЕБРЫ ЛОГИКИ ТАБЛИЦЫ ИСТИННОСТИ

№ слайда 2 ПЕРЕМЕСТИТЕЛЬНЫЙ ЗАКОН СОЧЕТАТЕЛЬНЫЙ ЗАКОН А V В = В V А А & В = В & А (А V В
Описание слайда:

ПЕРЕМЕСТИТЕЛЬНЫЙ ЗАКОН СОЧЕТАТЕЛЬНЫЙ ЗАКОН А V В = В V А А & В = В & А (А V В) V С = А V (В V С) (А & В) & С = А & (В & С) Распределительный ЗАКОН ЗАКОН непротиворечия А V (В & С) = (А V В) & (А V С) А & (В V С) = (А & В) V (А & С) А & ¬ А = 0

№ слайда 3 ЗАКОН ИСКЛЮЧЕННОГО ТРЕТЬЕГО ЗАКОН ДВОЙНОГО ОТРИЦАНИЯ А V ¬ А = 1 ¬ (¬А) = А З
Описание слайда:

ЗАКОН ИСКЛЮЧЕННОГО ТРЕТЬЕГО ЗАКОН ДВОЙНОГО ОТРИЦАНИЯ А V ¬ А = 1 ¬ (¬А) = А ЗАКОНЫ де моргана Выражение импликации через отрицание и логическое сложение ¬ (А V В) = ¬ А & ¬ В ¬ (А& В) = ¬ А V ¬ В А В = ¬ А V В

№ слайда 4 ТАБЛИЦЫ ИСТИННОСТИ Для каждого составного высказывания (логического выражения
Описание слайда:

ТАБЛИЦЫ ИСТИННОСТИ Для каждого составного высказывания (логического выражения) можно построить таблицу истинности, которая определяет его истинность или ложность при всех возможных комбинациях исходных значений простых логических переменных

№ слайда 5 ТАБЛИЦЫ ИСТИННОСТИ Во –первых, необходимо определить количество строк в табли
Описание слайда:

ТАБЛИЦЫ ИСТИННОСТИ Во –первых, необходимо определить количество строк в таблице истинности. Если количество логических переменных n, то количество строк будет 2 Во-вторых, необходимо определить количество столбцов в таблице истинности, которое равно количеству логических переменных плюс количество логических операций. n

№ слайда 6 Составим таблицу истинности логической функции F = (AVB) & (¬AV¬B) A B AVB ¬A
Описание слайда:

Составим таблицу истинности логической функции F = (AVB) & (¬AV¬B) A B AVB ¬A ¬B ¬A V ¬ B (AVB) & (¬AV¬B) 0 0 0 1 1 1 0 0 1 1 1 0 1 1 1 0 1 0 1 1 1 1 1 1 0 0 0 0

№ слайда 7 Составим таблицу истинности логической функции F = ¬A&¬B A B ¬A ¬B ¬A&¬B 0 0
Описание слайда:

Составим таблицу истинности логической функции F = ¬A&¬B A B ¬A ¬B ¬A&¬B 0 0 1 1 1 0 1 1 0 0 1 0 0 1 0 1 1 0 0 0

№ слайда 8 Составим таблицу истинности логической функции F = ¬(AVB) A B AvB ¬(AvB) 0 0
Описание слайда:

Составим таблицу истинности логической функции F = ¬(AVB) A B AvB ¬(AvB) 0 0 0 1 0 1 1 0 1 0 1 0 1 1 1 0

№ слайда 9 РАВНОСИЛЬНЫЕ ЛОГИЧЕСКИЕ ВЫРАЖЕНИЯ Логические выражения, у которых последние с
Описание слайда:

РАВНОСИЛЬНЫЕ ЛОГИЧЕСКИЕ ВЫРАЖЕНИЯ Логические выражения, у которых последние столбцы таблиц истинности совпадают, называются равносильными. Для обозначения равносильных логических выражений используется знак « = » Докажите, что логические выражения равносильны: 1. ¬ А & ¬ В = ¬ (А V В) 2. ¬(¬Аv¬B)=A&B


Автор
Дата добавления 19.09.2016
Раздел Информатика
Подраздел Презентации
Просмотров264
Номер материала ДБ-201668
Получить свидетельство о публикации


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