Какие основные принципы и законы используются в алгебре логики при работе с булевыми выражениями?

Некоторые основные принципы и законы, которые используются в алгебре логики при работе с булевыми выражениями:

Принципы:

• Двоичность. blog.skillfactory.ru Каждая булева переменная имеет строго определённое состояние, отражающее одно из двух базовых значений: 1 для истины или 0 для лжи. blog.skillfactory.ru
• Отсутствие отрицательных значений. blog.skillfactory.ru В рамках булевой алгебры не существует понятий, непосредственно противоположных позитивным значениям. blog.skillfactory.ru

Основные логические операции: логическое отрицание (инверсия), логическое сложение (дизъюнкция) и логическое умножение (конъюнкция). in.lit.msu.ru natalia.aclas.ru

Некоторые законы:

• Коммутативный (переместительный). in.lit.msu.ru spravochnick.ru Логические переменные можно менять местами. in.lit.msu.ru
• Ассоциативный (сочетательный). in.lit.msu.ru spravochnick.ru Логические переменные в дизъюнкциях и конъюнкциях можно объединять в группы. in.lit.msu.ru
• Дистрибутивный (распределительный). in.lit.msu.ru Одинаковые переменные в дизъюнкциях и конъюнкциях можно выносить за скобки. in.lit.msu.ru
• Закон непротиворечия. in.lit.msu.ru Высказывание может быть только истинным или только ложным, третьего не дано. in.lit.msu.ru
• Закон исключённого третьего. in.lit.msu.ru Из двух противоречащих высказываний одно является истинным. in.lit.msu.ru