Свойства логических операций

30.06.2021 1 Автор : Марина Николаевна
Свойства логических операций

В алгебре логики существуют основные понятия, которые используются при работе над логическими высказываниями. Раскроем эти понятия в таблице 1.

Основные понятия и определения алгебры логики

Все логические операции обладают основными свойствами. Эти же свойства еще называют законами алгебры логики.

Законы алгебры логики необходимы для упрощения логических выражений при решении логических задач.

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

Еще законы алгебры логики называют теоремами, так как их можно доказать.

Рассмотрим основные законы алгебры высказываний, их всего четыре, в таблице 1.

Таблица 1 — Четыре основных закона алгебры высказываний

Основные законы алгебры логики

Дополнительные законы алгебры логики рассмотрим на рисунке 1

Формализация — это переход от конкретного содержания высказывания к формальной записи с помощью символов.

Дополнительные законы алгебры логики рассмотрим в таблице 2.

Таблица 2 — Дополнительные законы алгебры логики

Дополнительные законы алгебры логики

Решение логических задач с помощью логических выражений осуществляется путем формализации.