§3.4. Логические законы и правила преобразования логических выражений

Описание ресурса

Теоретический материал по теме «Логические законы и правила преобразования логических выражений», в котором вводятся основные законы алгебры логики и правила преобразования логических формул, рассматривается три метода доказательства тождественности формул – с помощью логических рассуждений, с помощью тождественных преобразований и с помощью заполнения таблиц истинности.

Свойства ресурса

Класс

10 класс

Предмет

Информатика и ИКТ

Образовательный тип

Лекция, учебник и т.п.

Проверка

Без проверки

Ключевые слова

Алгебра логики, Дизъюнкция, Закон ассоциативности, Закон дистрибутивности, Закон идемпотентности, Закон исключенного третьего, Закон коммутативности, Закон поглощения 0 и 1, Закон противоречия, Законы де Моргана, Законы поглощения, Импликация, Исключающее «или», Конъюнкция, Логическая константа, Логические переменные, Логические формулы, Логическое сложение, Логическое умножение, Равнозначность, Следование, Стрелка Пирса, Таблицы истинности, Тавтология, Тождественные формулы, Штрих Шеффера, Эквивалентность

Авторы

Богомолова Татьяна Сергеевна, Белайчук Олег Анатольевич

Вид

Гипертекст с иллюстрациями