N°51023 \(A \cup(B - C)\oplus A\)
N°51407 \(A \cup(B - C)\oplus \overline{A}\)
N°51791 \(A \cup(B - C)\oplus B\)
N°52175 \(A \cup(B - C)\oplus \overline{B}\)
N°52559 \(A \cup(B - C)\oplus C\)
N°52943 \(A \cup(B - C)\oplus \overline{C}\)
N°57116 \(\overline{(A \cup \overline{B})} \cup (A \oplus C)\)
N°57502 \(\overline{(A \cup \overline{B})} \cup \overline{(A \oplus \overline{C})}\)
N°59422 \(\overline{(A \cup \overline{B})} \cup \overline{(\overline{A} \oplus C)}\)
N°59804 \(\overline{(A \cup \overline{B})} \cup (\overline{A} \oplus \overline{C})\)
N°64796 \(\overline{(A \cup \overline{B})} \cup (C \oplus A)\)
N°64800 \(A \cup\overline{(\overline{B} \cup C)}\oplus A\)
N°65182 \(\overline{(A \cup \overline{B})} \cup \overline{(C \oplus \overline{A})}\)
N°65184 \(A \cup\overline{(\overline{B} \cup C)}\oplus \overline{A}\)
N°65568 \(A \cup\overline{(\overline{B} \cup C)}\oplus B\)
N°65952 \(A \cup\overline{(\overline{B} \cup C)}\oplus \overline{B}\)
N°66336 \(A \cup\overline{(\overline{B} \cup C)}\oplus C\)
N°66720 \(A \cup\overline{(\overline{B} \cup C)}\oplus \overline{C}\)
N°67102 \(\overline{(A \cup \overline{B})} \cup \overline{(\overline{C} \oplus A)}\)
N°67484 \(\overline{(A \cup \overline{B})} \cup (\overline{C} \oplus \overline{A})\)
N°70647 \((A \oplus C) \cup \overline{(A \cup \overline{B})}\)
N°72559 \((A \oplus C) \cup (\overline{A} \cap B)\)
N°72961 \((A \oplus C) \cup (\overline{A} - \overline{B})\)
N°74113 \((A \oplus C) \cup (B - A)\)
N°74479 \((A \oplus C) \cup (B \cap \overline{A})\)
N°75649 \((A \oplus C) \cup (B - C)\)
N°76015 \((A \oplus C) \cup (B \cap \overline{C})\)
N°76407 \((A \oplus C) \cup \overline{(\overline{B} \cup A)}\)
N°77943 \((A \oplus C) \cup \overline{(\overline{B} \cup C)}\)
N°79863 \((A \oplus C) \cup \overline{(C \cup \overline{B})}\)
N°81775 \((A \oplus C) \cup (\overline{C} \cap B)\)
N°82177 \((A \oplus C) \cup (\overline{C} - \overline{B})\)
N°84472 \(\overline{(A \oplus \overline{C})} \cup \overline{(A \cup \overline{B})}\)
N°86384 \(\overline{(A \oplus \overline{C})} \cup (\overline{A} \cap B)\)
N°86786 \(\overline{(A \oplus \overline{C})} \cup (\overline{A} - \overline{B})\)
N°87938 \(\overline{(A \oplus \overline{C})} \cup (B - A)\)
N°88304 \(\overline{(A \oplus \overline{C})} \cup (B \cap \overline{A})\)
N°89474 \(\overline{(A \oplus \overline{C})} \cup (B - C)\)
N°89840 \(\overline{(A \oplus \overline{C})} \cup (B \cap \overline{C})\)
N°90232 \(\overline{(A \oplus \overline{C})} \cup \overline{(\overline{B} \cup A)}\)
N°91768 \(\overline{(A \oplus \overline{C})} \cup \overline{(\overline{B} \cup C)}\)
N°93688 \(\overline{(A \oplus \overline{C})} \cup \overline{(C \cup \overline{B})}\)
N°95600 \(\overline{(A \oplus \overline{C})} \cup (\overline{C} \cap B)\)
N°96002 \(\overline{(A \oplus \overline{C})} \cup (\overline{C} - \overline{B})\)
N°126139 \((\overline{A} \cap B) \cup (A \oplus C)\)
N°126525 \((\overline{A} \cap B) \cup \overline{(A \oplus \overline{C})}\)
N°128445 \((\overline{A} \cap B) \cup \overline{(\overline{A} \oplus C)}\)
N°128827 \((\overline{A} \cap B) \cup (\overline{A} \oplus \overline{C})\)
N°133819 \((\overline{A} \cap B) \cup (C \oplus A)\)
N°134205 \((\overline{A} \cap B) \cup \overline{(C \oplus \overline{A})}\)
N°136104 \(\overline{A} \cap\overline{(B \cap \overline{C})}\oplus A\)
N°136125 \((\overline{A} \cap B) \cup \overline{(\overline{C} \oplus A)}\)
N°136391 \(\overline{A} -(B \cap \overline{C})\oplus A\)
N°136488 \(\overline{A} \cap\overline{(B \cap \overline{C})}\oplus \overline{A}\)
N°136507 \((\overline{A} \cap B) \cup (\overline{C} \oplus \overline{A})\)
N°136775 \(\overline{A} -(B \cap \overline{C})\oplus \overline{A}\)
N°136872 \(\overline{A} \cap\overline{(B \cap \overline{C})}\oplus B\)
N°137159 \(\overline{A} -(B \cap \overline{C})\oplus B\)
N°137256 \(\overline{A} \cap\overline{(B \cap \overline{C})}\oplus \overline{B}\)
N°137543 \(\overline{A} -(B \cap \overline{C})\oplus \overline{B}\)
N°137640 \(\overline{A} \cap\overline{(B \cap \overline{C})}\oplus C\)
N°137927 \(\overline{A} -(B \cap \overline{C})\oplus C\)
N°138024 \(\overline{A} \cap\overline{(B \cap \overline{C})}\oplus \overline{C}\)
N°138311 \(\overline{A} -(B \cap \overline{C})\oplus \overline{C}\)
N°140251 \((\overline{A} - \overline{B}) \cup (A \oplus C)\)
N°140637 \((\overline{A} - \overline{B}) \cup \overline{(A \oplus \overline{C})}\)
N°142557 \((\overline{A} - \overline{B}) \cup \overline{(\overline{A} \oplus C)}\)
N°142939 \((\overline{A} - \overline{B}) \cup (\overline{A} \oplus \overline{C})\)
N°147931 \((\overline{A} - \overline{B}) \cup (C \oplus A)\)
N°148317 \((\overline{A} - \overline{B}) \cup \overline{(C \oplus \overline{A})}\)
N°150237 \((\overline{A} - \overline{B}) \cup \overline{(\overline{C} \oplus A)}\)
N°150619 \((\overline{A} - \overline{B}) \cup (\overline{C} \oplus \overline{A})\)
N°153592 \(\overline{(\overline{A} \oplus C)} \cup \overline{(A \cup \overline{B})}\)
N°155504 \(\overline{(\overline{A} \oplus C)} \cup (\overline{A} \cap B)\)
N°155906 \(\overline{(\overline{A} \oplus C)} \cup (\overline{A} - \overline{B})\)
N°157058 \(\overline{(\overline{A} \oplus C)} \cup (B - A)\)
N°157424 \(\overline{(\overline{A} \oplus C)} \cup (B \cap \overline{A})\)
N°158594 \(\overline{(\overline{A} \oplus C)} \cup (B - C)\)
N°158960 \(\overline{(\overline{A} \oplus C)} \cup (B \cap \overline{C})\)
N°159352 \(\overline{(\overline{A} \oplus C)} \cup \overline{(\overline{B} \cup A)}\)
N°160888 \(\overline{(\overline{A} \oplus C)} \cup \overline{(\overline{B} \cup C)}\)
N°162808 \(\overline{(\overline{A} \oplus C)} \cup \overline{(C \cup \overline{B})}\)
N°164720 \(\overline{(\overline{A} \oplus C)} \cup (\overline{C} \cap B)\)
N°165122 \(\overline{(\overline{A} \oplus C)} \cup (\overline{C} - \overline{B})\)
N°167415 \((\overline{A} \oplus \overline{C}) \cup \overline{(A \cup \overline{B})}\)
N°169327 \((\overline{A} \oplus \overline{C}) \cup (\overline{A} \cap B)\)
N°169729 \((\overline{A} \oplus \overline{C}) \cup (\overline{A} - \overline{B})\)
N°170881 \((\overline{A} \oplus \overline{C}) \cup (B - A)\)
N°171247 \((\overline{A} \oplus \overline{C}) \cup (B \cap \overline{A})\)
N°172417 \((\overline{A} \oplus \overline{C}) \cup (B - C)\)
N°172783 \((\overline{A} \oplus \overline{C}) \cup (B \cap \overline{C})\)
N°173175 \((\overline{A} \oplus \overline{C}) \cup \overline{(\overline{B} \cup A)}\)
N°174711 \((\overline{A} \oplus \overline{C}) \cup \overline{(\overline{B} \cup C)}\)
N°176631 \((\overline{A} \oplus \overline{C}) \cup \overline{(C \cup \overline{B})}\)
N°178543 \((\overline{A} \oplus \overline{C}) \cup (\overline{C} \cap B)\)
N°178945 \((\overline{A} \oplus \overline{C}) \cup (\overline{C} - \overline{B})\)
N°181723 \((B - A) \cup (A \oplus C)\)
N°182109 \((B - A) \cup \overline{(A \oplus \overline{C})}\)
N°184029 \((B - A) \cup \overline{(\overline{A} \oplus C)}\)
N°184411 \((B - A) \cup (\overline{A} \oplus \overline{C})\)
N°189403 \((B - A) \cup (C \oplus A)\)
N°189789 \((B - A) \cup \overline{(C \oplus \overline{A})}\)
N°191709 \((B - A) \cup \overline{(\overline{C} \oplus A)}\)
N°192091 \((B - A) \cup (\overline{C} \oplus \overline{A})\)
N°195259 \((B \cap \overline{A}) \cup (A \oplus C)\)
N°195645 \((B \cap \overline{A}) \cup \overline{(A \oplus \overline{C})}\)
N°197565 \((B \cap \overline{A}) \cup \overline{(\overline{A} \oplus C)}\)
N°197947 \((B \cap \overline{A}) \cup (\overline{A} \oplus \overline{C})\)
N°202939 \((B \cap \overline{A}) \cup (C \oplus A)\)
N°203325 \((B \cap \overline{A}) \cup \overline{(C \oplus \overline{A})}\)
N°205245 \((B \cap \overline{A}) \cup \overline{(\overline{C} \oplus A)}\)
N°205627 \((B \cap \overline{A}) \cup (\overline{C} \oplus \overline{A})\)
N°237019 \((B - C) \cup (A \oplus C)\)
N°237405 \((B - C) \cup \overline{(A \oplus \overline{C})}\)
N°239325 \((B - C) \cup \overline{(\overline{A} \oplus C)}\)
N°239707 \((B - C) \cup (\overline{A} \oplus \overline{C})\)
N°244699 \((B - C) \cup (C \oplus A)\)
N°245085 \((B - C) \cup \overline{(C \oplus \overline{A})}\)
N°247005 \((B - C) \cup \overline{(\overline{C} \oplus A)}\)
N°247387 \((B - C) \cup (\overline{C} \oplus \overline{A})\)
N°250555 \((B \cap \overline{C}) \cup (A \oplus C)\)
N°250941 \((B \cap \overline{C}) \cup \overline{(A \oplus \overline{C})}\)
N°252861 \((B \cap \overline{C}) \cup \overline{(\overline{A} \oplus C)}\)
N°253243 \((B \cap \overline{C}) \cup (\overline{A} \oplus \overline{C})\)
N°258235 \((B \cap \overline{C}) \cup (C \oplus A)\)
N°258621 \((B \cap \overline{C}) \cup \overline{(C \oplus \overline{A})}\)
N°260541 \((B \cap \overline{C}) \cup \overline{(\overline{C} \oplus A)}\)
N°260923 \((B \cap \overline{C}) \cup (\overline{C} \oplus \overline{A})\)
N°264476 \(\overline{(\overline{B} \cup A)} \cup (A \oplus C)\)
N°264862 \(\overline{(\overline{B} \cup A)} \cup \overline{(A \oplus \overline{C})}\)
N°266782 \(\overline{(\overline{B} \cup A)} \cup \overline{(\overline{A} \oplus C)}\)
N°267164 \(\overline{(\overline{B} \cup A)} \cup (\overline{A} \oplus \overline{C})\)
N°272156 \(\overline{(\overline{B} \cup A)} \cup (C \oplus A)\)
N°272542 \(\overline{(\overline{B} \cup A)} \cup \overline{(C \oplus \overline{A})}\)
N°274462 \(\overline{(\overline{B} \cup A)} \cup \overline{(\overline{C} \oplus A)}\)
N°274844 \(\overline{(\overline{B} \cup A)} \cup (\overline{C} \oplus \overline{A})\)
N°319772 \(\overline{(\overline{B} \cup C)} \cup (A \oplus C)\)
N°320158 \(\overline{(\overline{B} \cup C)} \cup \overline{(A \oplus \overline{C})}\)
N°322078 \(\overline{(\overline{B} \cup C)} \cup \overline{(\overline{A} \oplus C)}\)
N°322460 \(\overline{(\overline{B} \cup C)} \cup (\overline{A} \oplus \overline{C})\)
N°327452 \(\overline{(\overline{B} \cup C)} \cup (C \oplus A)\)
N°327838 \(\overline{(\overline{B} \cup C)} \cup \overline{(C \oplus \overline{A})}\)
N°329758 \(\overline{(\overline{B} \cup C)} \cup \overline{(\overline{C} \oplus A)}\)
N°330140 \(\overline{(\overline{B} \cup C)} \cup (\overline{C} \oplus \overline{A})\)
N°347127 \((C \oplus A) \cup \overline{(A \cup \overline{B})}\)
N°349039 \((C \oplus A) \cup (\overline{A} \cap B)\)
N°349441 \((C \oplus A) \cup (\overline{A} - \overline{B})\)
N°350593 \((C \oplus A) \cup (B - A)\)
N°350959 \((C \oplus A) \cup (B \cap \overline{A})\)
N°352129 \((C \oplus A) \cup (B - C)\)
N°352495 \((C \oplus A) \cup (B \cap \overline{C})\)
N°352887 \((C \oplus A) \cup \overline{(\overline{B} \cup A)}\)
N°354423 \((C \oplus A) \cup \overline{(\overline{B} \cup C)}\)
N°356343 \((C \oplus A) \cup \overline{(C \cup \overline{B})}\)
N°358255 \((C \oplus A) \cup (\overline{C} \cap B)\)
N°358657 \((C \oplus A) \cup (\overline{C} - \overline{B})\)
N°360952 \(\overline{(C \oplus \overline{A})} \cup \overline{(A \cup \overline{B})}\)
N°362864 \(\overline{(C \oplus \overline{A})} \cup (\overline{A} \cap B)\)
N°363266 \(\overline{(C \oplus \overline{A})} \cup (\overline{A} - \overline{B})\)
N°364418 \(\overline{(C \oplus \overline{A})} \cup (B - A)\)
N°364784 \(\overline{(C \oplus \overline{A})} \cup (B \cap \overline{A})\)
N°365954 \(\overline{(C \oplus \overline{A})} \cup (B - C)\)
N°366320 \(\overline{(C \oplus \overline{A})} \cup (B \cap \overline{C})\)
N°366712 \(\overline{(C \oplus \overline{A})} \cup \overline{(\overline{B} \cup A)}\)
N°368248 \(\overline{(C \oplus \overline{A})} \cup \overline{(\overline{B} \cup C)}\)
N°370168 \(\overline{(C \oplus \overline{A})} \cup \overline{(C \cup \overline{B})}\)
N°372080 \(\overline{(C \oplus \overline{A})} \cup (\overline{C} \cap B)\)
N°372482 \(\overline{(C \oplus \overline{A})} \cup (\overline{C} - \overline{B})\)
N°373583 \(C \cup(B - A)\oplus A\)
N°373967 \(C \cup(B - A)\oplus \overline{A}\)
N°374351 \(C \cup(B - A)\oplus B\)
N°374735 \(C \cup(B - A)\oplus \overline{B}\)
N°375119 \(C \cup(B - A)\oplus C\)
N°375503 \(C \cup(B - A)\oplus \overline{C}\)
N°387360 \(C \cup\overline{(\overline{B} \cup A)}\oplus A\)
N°387744 \(C \cup\overline{(\overline{B} \cup A)}\oplus \overline{A}\)
N°388128 \(C \cup\overline{(\overline{B} \cup A)}\oplus B\)
N°388512 \(C \cup\overline{(\overline{B} \cup A)}\oplus \overline{B}\)
N°388892 \(\overline{(C \cup \overline{B})} \cup (A \oplus C)\)
N°388896 \(C \cup\overline{(\overline{B} \cup A)}\oplus C\)
N°389278 \(\overline{(C \cup \overline{B})} \cup \overline{(A \oplus \overline{C})}\)
N°389280 \(C \cup\overline{(\overline{B} \cup A)}\oplus \overline{C}\)
N°391198 \(\overline{(C \cup \overline{B})} \cup \overline{(\overline{A} \oplus C)}\)
N°391580 \(\overline{(C \cup \overline{B})} \cup (\overline{A} \oplus \overline{C})\)
N°396572 \(\overline{(C \cup \overline{B})} \cup (C \oplus A)\)
N°396958 \(\overline{(C \cup \overline{B})} \cup \overline{(C \oplus \overline{A})}\)
N°398878 \(\overline{(C \cup \overline{B})} \cup \overline{(\overline{C} \oplus A)}\)
N°399260 \(\overline{(C \cup \overline{B})} \cup (\overline{C} \oplus \overline{A})\)
N°430072 \(\overline{(\overline{C} \oplus A)} \cup \overline{(A \cup \overline{B})}\)
N°431984 \(\overline{(\overline{C} \oplus A)} \cup (\overline{A} \cap B)\)
N°432386 \(\overline{(\overline{C} \oplus A)} \cup (\overline{A} - \overline{B})\)
N°433538 \(\overline{(\overline{C} \oplus A)} \cup (B - A)\)
N°433904 \(\overline{(\overline{C} \oplus A)} \cup (B \cap \overline{A})\)
N°435074 \(\overline{(\overline{C} \oplus A)} \cup (B - C)\)
N°435440 \(\overline{(\overline{C} \oplus A)} \cup (B \cap \overline{C})\)
N°435832 \(\overline{(\overline{C} \oplus A)} \cup \overline{(\overline{B} \cup A)}\)
N°437368 \(\overline{(\overline{C} \oplus A)} \cup \overline{(\overline{B} \cup C)}\)
N°439288 \(\overline{(\overline{C} \oplus A)} \cup \overline{(C \cup \overline{B})}\)
N°441200 \(\overline{(\overline{C} \oplus A)} \cup (\overline{C} \cap B)\)
N°441602 \(\overline{(\overline{C} \oplus A)} \cup (\overline{C} - \overline{B})\)
N°443895 \((\overline{C} \oplus \overline{A}) \cup \overline{(A \cup \overline{B})}\)
N°445807 \((\overline{C} \oplus \overline{A}) \cup (\overline{A} \cap B)\)
N°446209 \((\overline{C} \oplus \overline{A}) \cup (\overline{A} - \overline{B})\)
N°447361 \((\overline{C} \oplus \overline{A}) \cup (B - A)\)
N°447727 \((\overline{C} \oplus \overline{A}) \cup (B \cap \overline{A})\)
N°448897 \((\overline{C} \oplus \overline{A}) \cup (B - C)\)
N°449263 \((\overline{C} \oplus \overline{A}) \cup (B \cap \overline{C})\)
N°449655 \((\overline{C} \oplus \overline{A}) \cup \overline{(\overline{B} \cup A)}\)
N°451191 \((\overline{C} \oplus \overline{A}) \cup \overline{(\overline{B} \cup C)}\)
N°453111 \((\overline{C} \oplus \overline{A}) \cup \overline{(C \cup \overline{B})}\)
N°455023 \((\overline{C} \oplus \overline{A}) \cup (\overline{C} \cap B)\)
N°455425 \((\overline{C} \oplus \overline{A}) \cup (\overline{C} - \overline{B})\)
N°457915 \((\overline{C} \cap B) \cup (A \oplus C)\)
N°458301 \((\overline{C} \cap B) \cup \overline{(A \oplus \overline{C})}\)
N°458664 \(\overline{C} \cap\overline{(B \cap \overline{A})}\oplus A\)
N°458951 \(\overline{C} -(B \cap \overline{A})\oplus A\)
N°459048 \(\overline{C} \cap\overline{(B \cap \overline{A})}\oplus \overline{A}\)
N°459335 \(\overline{C} -(B \cap \overline{A})\oplus \overline{A}\)
N°459432 \(\overline{C} \cap\overline{(B \cap \overline{A})}\oplus B\)
N°459719 \(\overline{C} -(B \cap \overline{A})\oplus B\)
N°459816 \(\overline{C} \cap\overline{(B \cap \overline{A})}\oplus \overline{B}\)
N°460103 \(\overline{C} -(B \cap \overline{A})\oplus \overline{B}\)
N°460200 \(\overline{C} \cap\overline{(B \cap \overline{A})}\oplus C\)
N°460221 \((\overline{C} \cap B) \cup \overline{(\overline{A} \oplus C)}\)
N°460487 \(\overline{C} -(B \cap \overline{A})\oplus C\)
N°460584 \(\overline{C} \cap\overline{(B \cap \overline{A})}\oplus \overline{C}\)
N°460603 \((\overline{C} \cap B) \cup (\overline{A} \oplus \overline{C})\)
N°460871 \(\overline{C} -(B \cap \overline{A})\oplus \overline{C}\)
N°465595 \((\overline{C} \cap B) \cup (C \oplus A)\)
N°465981 \((\overline{C} \cap B) \cup \overline{(C \oplus \overline{A})}\)
N°467901 \((\overline{C} \cap B) \cup \overline{(\overline{C} \oplus A)}\)
N°468283 \((\overline{C} \cap B) \cup (\overline{C} \oplus \overline{A})\)
N°472027 \((\overline{C} - \overline{B}) \cup (A \oplus C)\)
N°472413 \((\overline{C} - \overline{B}) \cup \overline{(A \oplus \overline{C})}\)
N°474333 \((\overline{C} - \overline{B}) \cup \overline{(\overline{A} \oplus C)}\)
N°474715 \((\overline{C} - \overline{B}) \cup (\overline{A} \oplus \overline{C})\)
N°479707 \((\overline{C} - \overline{B}) \cup (C \oplus A)\)
N°480093 \((\overline{C} - \overline{B}) \cup \overline{(C \oplus \overline{A})}\)
N°482013 \((\overline{C} - \overline{B}) \cup \overline{(\overline{C} \oplus A)}\)
N°482395 \((\overline{C} - \overline{B}) \cup (\overline{C} \oplus \overline{A})\)
Back to the diagrams
About