Quelle  xor_cal.thy

java.lang.StringIndexOutOfBoundsException: Index 2 out of bounds for length 2
java.lang.StringIndexOutOfBoundsException: Index 5 out of bounds for length 5
AuthorGhourabi
Affiliation: Ochanomizu University, Japan
*)

theory xor_cal

imports

  Main

begin
definition xor::"bool ==> bool ==> bool" (infixl ‹⊕ 60)
  "xor A B ≡ A BB \equiv(A \and ¬

  xor_def [simp]

  bool:semigroup "(⊕
 
  f ix ab c sow" \oplus b \oplus> ⊕ c)" by auto}
 

  xor_distr_L [simp]:"A ⊕ (B ⊕¬¬
  auto

  xor_distr_R [simp]:"(A ⊕ [s]:"(A ⊕
  auto