Законы логики

Опубликовано: 03.04.2024

Законы логики позволяют упрощать логические уравнения, делая их не такими большими и более решаемыми. Их не так уж и мало: от самых простых и очевидных до достаточно хитрых; от тех, которые встречаются очень часто до довольно редких.

Данная статья продолжает тему Логики, начатую в предыдущей статье.

Не обязательно знать все наизусть — часть из них действительно проста и похожа на правила математики начальной школы. Про остальные стоит помнить: если увидите очень большое логическое уравнение, высока вероятность того, что эти законы помогут его сократить.

Законы логики

Попробуем упростить исходное выражение: ¬(¬А ∧ ¬В) ∨ В ∧ С

Первым можно увидеть закон де Моргана, где у нас идет отрицание целой скобки:
¬(¬А ∧ ¬В) ∨ В ∧ С = ¬(¬А) ∨ ¬(¬В) ∨ В ∧ С
Здесь же появляются переменные А и В, к которым можно применить закон двойного отрицания:
¬(¬А) ∨ ¬(¬В) ∨ В ∧ С = А ∨ В ∨ В ∧ С
Можно заметить закон поглощения — В складывается с умножением В на С:
А ∨ В ∨ В ∧ С = А ∨ В

Итого, уравнение с 3 переменными и множеством отрицаний мы смогли превратить в максимально простую запись, где осталось всего 2 переменные: ¬(¬А ∧ ¬В) ∨ В ∧ С = А ∨ В

Рубрики по темам:

Статьи о Дизайне

Вам могут быть интересны материалы:

Курсы, стажировка и карьера для молодежи в Тинькофф

Мы много слышим, что крупные компании ищут молодых IT-шников. Но куда податься школьникам и выпускникам, которые хотят начать свою карьеру? Я решил начать публиковать короткие обзоры перспективных направлений развития карьеры.

Что такое синхронный и асинхронный код?

Синхронный и асинхронный классифицируют два разных стиля программирования, каждый со своими преимуществами и недостатками. А какая будет разница между ними? Давайте разбираться

Какие типы данных есть в python?

Рассмотрим один из самых популярных вопросов, с которого начинают на собеседованиях и который встречается в тестах и олимпиадах по программированию на Python.