sup_eq_bor

Mathlib.Order.BooleanAlgebra.Defs

URI: https://scilib.ai/kg/mathlib#Bool.sup_eq_bor

English

In the Boolean algebra on booleans, the join operation coincides with logical OR.

Русский

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

LaTeX

$$$a \lor b = \operatorname{or}(a,b) \quad (a,b \in \{0,1\}).$$$

Lean4

theorem sup_eq_bor : (· ⊔ ·) = or := by dsimp

Похожие утверждения

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru