Логические операторы

a ∧ b

Конъюнкция

Определение: Конъюнкция двух утверждений истинна, если оба утверждения истинны.

Обозначение: a ∧ b

Реализация на python:

a = True
b = False

print(a and b)

>> False

Таблица истинности

Значение a	значение b	Результат
False	False	False
True	False	False
False	True	False
True	True	True

a ∨ b

Дизъюнкция

Определение: Дизъюнкция двух утверждений истинна, если хотя бы одно из утверждений истинно.

Обозначение: a ∨ b

Реализация на python:

a = True
b = False

print(a or b)

>> True

Таблица истинности

Значение a	значение b	Результат
False	False	False
True	False	True
False	True	True
True	True	True

¬ a

Инверсия (логическое отрицание/логическое "не")

Определение: Инверсия утверждения истинна, если утверждение ложно, и наоборот.

Обозначение: ¬ a

Реализация на python:

a = True

print(not a)

>> False

Таблица истинности

Значение a	Результат
False	True
True	False