symmDiff_eq_xor

Mathlib.Order.SymmDiff

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

English

For booleans p and q, symmetric difference equals exclusive or.

Русский

Для булевых значений p и q симметрическая разность равна XOR.

LaTeX

$$$\\\\forall p,q \\\\in Bool,\\\\ symmDiff p q = xor p q$$$

Lean4

@[simp]
theorem symmDiff_eq_xor : ∀ p q : Bool, p ∆ q = xor p q := by decide

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

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

Разделы

Аффилиация

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