- Главная
- Разное
- Образование
- Спорт
- Естествознание
- Природоведение
- Религиоведение
- Французский язык
- Черчение
- Английский язык
- Астрономия
- Алгебра
- Биология
- География
- Геометрия
- Детские презентации
- Информатика
- История
- Литература
- Математика
- Музыка
- МХК
- Немецкий язык
- ОБЖ
- Обществознание
- Окружающий мир
- Педагогика
- Русский язык
- Технология
- Физика
- Философия
- Химия
- Шаблоны, фоны, картинки для презентаций
- Экология
- Экономика
Презентация, доклад на тему Законы алгебры логики и таблицы истинности
Содержание
- 1. Законы алгебры логики и таблицы истинности
- 2. ПЕРЕМЕСТИТЕЛЬНЫЙ ЗАКОНСОЧЕТАТЕЛЬНЫЙ ЗАКОНА V В = В
- 3. ЗАКОН ИСКЛЮЧЕННОГО ТРЕТЬЕГОЗАКОН ДВОЙНОГО ОТРИЦАНИЯА V ¬
- 4. ТАБЛИЦЫ ИСТИННОСТИДля каждого составного высказывания(логического выражения) можно
- 5. ТАБЛИЦЫ ИСТИННОСТИВо –первых, необходимо определить количество строк
- 6. Составим таблицу истинности логической функции F = (AVB) & (¬AV¬B)
- 7. Составим таблицу истинности логической функции F = ¬A&¬B
- 8. Составим таблицу истинности логической функции F = ¬(AVB)
- 9. РАВНОСИЛЬНЫЕ ЛОГИЧЕСКИЕ ВЫРАЖЕНИЯЛогические выражения, у которых последние
ПЕРЕМЕСТИТЕЛЬНЫЙ ЗАКОНСОЧЕТАТЕЛЬНЫЙ ЗАКОНА V В = В V АА & В = В & А(А V В) V С = А V (В V С)(А & В) & С = А & (В & С)Распределительный ЗАКОН
Слайд 2ПЕРЕМЕСТИТЕЛЬНЫЙ ЗАКОН
СОЧЕТАТЕЛЬНЫЙ
ЗАКОН
А V В = В V А
А & В
= В & А
(А V В) V С = А V (В V С)
(А & В) & С = А & (В & С)
Распределительный ЗАКОН
ЗАКОН непротиворечия
А V (В & С) = (А V В) & (А V С)
А & (В V С) = (А & В) V (А & С)
А & ¬ А = 0
Слайд 3ЗАКОН ИСКЛЮЧЕННОГО ТРЕТЬЕГО
ЗАКОН ДВОЙНОГО ОТРИЦАНИЯ
А V ¬ А = 1
¬ (¬А)
= А
ЗАКОНЫ де моргана
Выражение импликации через отрицание и логическое сложение
¬ (А V В) = ¬ А & ¬ В
¬ (А& В) = ¬ А V ¬ В
А В = ¬ А V В
Слайд 4ТАБЛИЦЫ ИСТИННОСТИ
Для каждого составного высказывания
(логического выражения) можно построить
таблицу истинности, которая определяет
его
истинность или ложность при всех возможных
комбинациях исходных значений простых
логических переменных
истинность или ложность при всех возможных
комбинациях исходных значений простых
логических переменных
Слайд 5ТАБЛИЦЫ ИСТИННОСТИ
Во –первых, необходимо определить количество строк в таблице истинности.
Если количество
логических переменных n, то количество строк будет 2
Во-вторых, необходимо определить количество столбцов в таблице истинности, которое равно количеству логических переменных плюс количество логических операций.
Во-вторых, необходимо определить количество столбцов в таблице истинности, которое равно количеству логических переменных плюс количество логических операций.
n
Слайд 9РАВНОСИЛЬНЫЕ ЛОГИЧЕСКИЕ ВЫРАЖЕНИЯ
Логические выражения, у которых последние столбцы таблиц истинности совпадают,
называются равносильными.
Для обозначения равносильных логических выражений используется знак « = »
Докажите, что логические выражения равносильны:
1. ¬ А & ¬ В = ¬ (А V В)
2. ¬(¬Аv¬B)=A&B
Для обозначения равносильных логических выражений используется знак « = »
Докажите, что логические выражения равносильны:
1. ¬ А & ¬ В = ¬ (А V В)
2. ¬(¬Аv¬B)=A&B
