def band_xor

bend-osdev-gf@0.1.1.0 · PROOF.bend:142

import Base

142def band_xor(+a: Bool, +b: Bool, +q: Bool) -> {Bool.and(Bool.xor(a, b), q) == Bool.xor(Bool.and(a, q), Bool.and(b, q)) : Bool}:
143  match a:
144    case True{}:
145      match b:
146        case True{}:
147          match q:
148            case True{}:
149              {==}
150            case False{}:
151              {==}
152        case False{}:
153          match q:
154            case True{}:
155              {==}
156            case False{}:
157              {==}
158    case False{}:
159      match b:
160        case True{}:
161          match q:
162            case True{}:
163              {==}
164            case False{}:
165              {==}
166        case False{}:
167          match q:
168            case True{}:
169              {==}
170            case False{}:
171              {==}