bne_eq_xor

Mathlib.Data.Bool.Basic

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

English

The not-equal operation coincides with XOR.

Русский

Операция неравенства совпадает с XOR.

LaTeX

$$$$ \text{bne} = \text{xor} $$$$

Lean4

theorem bne_eq_xor : bne = xor := by constructor

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

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

Разделы

Аффилиация

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