В алгебре логики существуют основные понятия, которые используются при работе над логическими высказываниями. Раскроем эти понятия в таблице 1.
Все логические операции обладают основными свойствами. Эти же свойства еще называют законами алгебры логики.
Законы алгебры логики необходимы для упрощения логических выражений при решении логических задач.
Все преобразования опираются на определенные логические законы. для связи между логическими выражениями используют логические операции.
Еще законы алгебры логики называют теоремами, так как их можно доказать.
Рассмотрим основные законы алгебры высказываний, их всего четыре, в таблице 1.
Таблица 1 — Четыре основных закона алгебры высказываний
Дополнительные законы алгебры логики рассмотрим на рисунке 1
Формализация — это переход от конкретного содержания высказывания к формальной записи с помощью символов.
Дополнительные законы алгебры логики рассмотрим в таблице 2.
Таблица 2 — Дополнительные законы алгебры логики
Решение логических задач с помощью логических выражений осуществляется путем формализации.
Добрый вечер. Логические операции изучают в школе несколько лет. сейчас готовлюсь к ОГЭ по информатике и опять возвращаюсь к логическим операциям