Инфоурок / Информатика / Презентации / Законы алгебры логики и таблицы истинности
Обращаем Ваше внимание, что в соответствии с Федеральным законом N 273-ФЗ «Об образовании в Российской Федерации» в организациях, осуществляющих образовательную деятельность, организовывается обучение и воспитание обучающихся с ОВЗ как совместно с другими обучающимися, так и в отдельных классах или группах.

Педагогическая деятельность в соответствии с новым ФГОС требует от учителя наличия системы специальных знаний в области анатомии, физиологии, специальной психологии, дефектологии и социальной работы.

Только сейчас Вы можете пройти дистанционное обучение прямо на сайте "Инфоурок" со скидкой 40% по курсу повышения квалификации "Организация работы с обучающимися с ограниченными возможностями здоровья (ОВЗ) в соответствии с ФГОС" (72 часа). По окончании курса Вы получите печатное удостоверение о повышении квалификации установленного образца (доставка удостоверения бесплатна).

Автор курса: Логинова Наталья Геннадьевна, кандидат педагогических наук, учитель высшей категории. Начало обучения новой группы: 27 сентября.

Подать заявку на этот курс    Смотреть список всех 224 курсов со скидкой 40%

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

библиотека
материалов
ЗАКОНЫ АЛГЕБРЫ ЛОГИКИ ТАБЛИЦЫ ИСТИННОСТИ
ПЕРЕМЕСТИТЕЛЬНЫЙ ЗАКОН СОЧЕТАТЕЛЬНЫЙ ЗАКОН А 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...
РАВНОСИЛЬНЫЕ ЛОГИЧЕСКИЕ ВЫРАЖЕНИЯ Логические выражения, у которых последние с...
9 1

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

№ слайда 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



Самые низкие цены на курсы переподготовки

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

После окончания обучения выдаётся диплом о профессиональной переподготовке установленного образца с присвоением квалификации (признаётся при прохождении аттестации по всей России).

Обучение проходит заочно прямо на сайте проекта "Инфоурок", но в дипломе форма обучения не указывается.

Начало обучения ближайшей группы: 27 сентября. Оплата возможна в беспроцентную рассрочку (10% в начале обучения и 90% в конце обучения)!

Подайте заявку на интересующий Вас курс сейчас: https://infourok.ru

Общая информация

Номер материала: ДБ-201668

Похожие материалы

2017 год объявлен годом экологии и особо охраняемых природных территорий в Российской Федерации. Министерство образования и науки рекомендует в 2017/2018 учебном году включать в программы воспитания и социализации образовательные события, приуроченные к году экологии.

Учителям 1-11 классов и воспитателям дошкольных ОУ вместе с ребятами рекомендуем принять участие в международном конкурсе «Законы экологии», приуроченном к году экологии. Участники конкурса проверят свои знания правил поведения на природе, узнают интересные факты о животных и растениях, занесённых в Красную книгу России. Все ученики будут награждены красочными наградными материалами, а учителя получат бесплатные свидетельства о подготовке участников и призёров международного конкурса.

Конкурс "Законы экологии"