begin definition xor::"bool → bool → bool" (infixl‹⊕›60) where"xor A B ≡ (A ∧¬B) ∨ (¬A ∧ B)"
declare xor_def [simp]
interpretation bool:semigroup "(⊕) " proof
{ fix a b c show"a ⊕ b ⊕ c = a ⊕ (b ⊕ c)"by auto} qed
lemma xor_distr_L [simp]:"A ⊕ (B ⊕ C) = (A∧¬B∧¬C)∨(A∧B∧C)∨(¬A∧B∧¬C)∨(¬A∧¬B∧C)" by auto
lemma xor_distr_R [simp]:"(A ⊕ B) ⊕ C = A ⊕ (B ⊕ C)" by auto
end
Messung V0.5 in Prozent
¤ Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.0.1Bemerkung:
(vorverarbeitet am 2026-09-29)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.
