Импликация и эквиваленция | Информатика

• Изучение алгебры логики, также известной как алгебра Буля.  

• Введение в логические операции импликация и эквиваленция.  

• Составление таблиц истинности для этих операций.  

• Импликация логическое следование, обозначается стрелочкой вправо.  

• Работает с двумя высказываниями.  

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

• Эквиваленция логическое равенство, обозначается тремя горизонтальными параллельными прямыми или двойной стрелочкой.  

• Проверяет равенство значений высказываний.  

• Таблица истинности: результат один, если высказывания одинаковые, и ноль, если различаются.  

• Составление таблицы истинности для логической функции: эквиваленция а, импликация б, импликация ц.  

• Опасность: операции нельзя выполнять слева направо.  

• Перебор всех возможных комбинаций трех переменных: восемь вариантов.  

• Заполнение таблицы истинности для заданной логической функции.  

• Повторение импликации и эквиваленции.  

• Рассмотрение таблиц истинности этих операций.  

• Применение знаний на практике.  

• Анонс работы со сложными логическими функциями.