Действия:

Глава 3. Основы алгебры логики. Логические элементы компьютера


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