N°43292 \(\overline{(A \cup B)} \cup (A \oplus C)\)
N°43678 \(\overline{(A \cup B)} \cup \overline{(A \oplus \overline{C})}\)
N°45598 \(\overline{(A \cup B)} \cup \overline{(\overline{A} \oplus C)}\)
N°45980 \(\overline{(A \cup B)} \cup (\overline{A} \oplus \overline{C})\)
N°50972 \(\overline{(A \cup B)} \cup (C \oplus A)\)
N°50976 \(A \cup\overline{(B \cup C)}\oplus A\)
N°51358 \(\overline{(A \cup B)} \cup \overline{(C \oplus \overline{A})}\)
N°51360 \(A \cup\overline{(B \cup C)}\oplus \overline{A}\)
N°51744 \(A \cup\overline{(B \cup C)}\oplus B\)
N°52128 \(A \cup\overline{(B \cup C)}\oplus \overline{B}\)
N°52512 \(A \cup\overline{(B \cup C)}\oplus C\)
N°52896 \(A \cup\overline{(B \cup C)}\oplus \overline{C}\)
N°53278 \(\overline{(A \cup B)} \cup \overline{(\overline{C} \oplus A)}\)
N°53660 \(\overline{(A \cup B)} \cup (\overline{C} \oplus \overline{A})\)
N°64847 \(A \cup(\overline{B} - C)\oplus A\)
N°65231 \(A \cup(\overline{B} - C)\oplus \overline{A}\)
N°65615 \(A \cup(\overline{B} - C)\oplus B\)
N°65999 \(A \cup(\overline{B} - C)\oplus \overline{B}\)
N°66383 \(A \cup(\overline{B} - C)\oplus C\)
N°66767 \(A \cup(\overline{B} - C)\oplus \overline{C}\)
N°70263 \((A \oplus C) \cup \overline{(A \cup B)}\)
N°72577 \((A \oplus C) \cup (\overline{A} - B)\)
N°72943 \((A \oplus C) \cup (\overline{A} \cap \overline{B})\)
N°74103 \((A \oplus C) \cup \overline{(B \cup A)}\)
N°75639 \((A \oplus C) \cup \overline{(B \cup C)}\)
N°76417 \((A \oplus C) \cup (\overline{B} - A)\)
N°76783 \((A \oplus C) \cup (\overline{B} \cap \overline{A})\)
N°77953 \((A \oplus C) \cup (\overline{B} - C)\)
N°78319 \((A \oplus C) \cup (\overline{B} \cap \overline{C})\)
N°79479 \((A \oplus C) \cup \overline{(C \cup B)}\)
N°81793 \((A \oplus C) \cup (\overline{C} - B)\)
N°82159 \((A \oplus C) \cup (\overline{C} \cap \overline{B})\)
N°84088 \(\overline{(A \oplus \overline{C})} \cup \overline{(A \cup B)}\)
N°86402 \(\overline{(A \oplus \overline{C})} \cup (\overline{A} - B)\)
N°86768 \(\overline{(A \oplus \overline{C})} \cup (\overline{A} \cap \overline{B})\)
N°87928 \(\overline{(A \oplus \overline{C})} \cup \overline{(B \cup A)}\)
N°89464 \(\overline{(A \oplus \overline{C})} \cup \overline{(B \cup C)}\)
N°90242 \(\overline{(A \oplus \overline{C})} \cup (\overline{B} - A)\)
N°90608 \(\overline{(A \oplus \overline{C})} \cup (\overline{B} \cap \overline{A})\)
N°91778 \(\overline{(A \oplus \overline{C})} \cup (\overline{B} - C)\)
N°92144 \(\overline{(A \oplus \overline{C})} \cup (\overline{B} \cap \overline{C})\)
N°93304 \(\overline{(A \oplus \overline{C})} \cup \overline{(C \cup B)}\)
N°95618 \(\overline{(A \oplus \overline{C})} \cup (\overline{C} - B)\)
N°95984 \(\overline{(A \oplus \overline{C})} \cup (\overline{C} \cap \overline{B})\)
N°126427 \((\overline{A} - B) \cup (A \oplus C)\)
N°126813 \((\overline{A} - B) \cup \overline{(A \oplus \overline{C})}\)
N°128733 \((\overline{A} - B) \cup \overline{(\overline{A} \oplus C)}\)
N°129115 \((\overline{A} - B) \cup (\overline{A} \oplus \overline{C})\)
N°134107 \((\overline{A} - B) \cup (C \oplus A)\)
N°134493 \((\overline{A} - B) \cup \overline{(C \oplus \overline{A})}\)
N°136413 \((\overline{A} - B) \cup \overline{(\overline{C} \oplus A)}\)
N°136795 \((\overline{A} - B) \cup (\overline{C} \oplus \overline{A})\)
N°139963 \((\overline{A} \cap \overline{B}) \cup (A \oplus C)\)
N°140349 \((\overline{A} \cap \overline{B}) \cup \overline{(A \oplus \overline{C})}\)
N°142269 \((\overline{A} \cap \overline{B}) \cup \overline{(\overline{A} \oplus C)}\)
N°142651 \((\overline{A} \cap \overline{B}) \cup (\overline{A} \oplus \overline{C})\)
N°147643 \((\overline{A} \cap \overline{B}) \cup (C \oplus A)\)
N°148029 \((\overline{A} \cap \overline{B}) \cup \overline{(C \oplus \overline{A})}\)
N°149928 \(\overline{A} \cap\overline{(\overline{B} \cap \overline{C})}\oplus A\)
N°149949 \((\overline{A} \cap \overline{B}) \cup \overline{(\overline{C} \oplus A)}\)
N°150215 \(\overline{A} -(\overline{B} \cap \overline{C})\oplus A\)
N°150312 \(\overline{A} \cap\overline{(\overline{B} \cap \overline{C})}\oplus \overline{A}\)
N°150331 \((\overline{A} \cap \overline{B}) \cup (\overline{C} \oplus \overline{A})\)
N°150599 \(\overline{A} -(\overline{B} \cap \overline{C})\oplus \overline{A}\)
N°150696 \(\overline{A} \cap\overline{(\overline{B} \cap \overline{C})}\oplus B\)
N°150983 \(\overline{A} -(\overline{B} \cap \overline{C})\oplus B\)
N°151080 \(\overline{A} \cap\overline{(\overline{B} \cap \overline{C})}\oplus \overline{B}\)
N°151367 \(\overline{A} -(\overline{B} \cap \overline{C})\oplus \overline{B}\)
N°151464 \(\overline{A} \cap\overline{(\overline{B} \cap \overline{C})}\oplus C\)
N°151751 \(\overline{A} -(\overline{B} \cap \overline{C})\oplus C\)
N°151848 \(\overline{A} \cap\overline{(\overline{B} \cap \overline{C})}\oplus \overline{C}\)
N°152135 \(\overline{A} -(\overline{B} \cap \overline{C})\oplus \overline{C}\)
N°153208 \(\overline{(\overline{A} \oplus C)} \cup \overline{(A \cup B)}\)
N°155522 \(\overline{(\overline{A} \oplus C)} \cup (\overline{A} - B)\)
N°155888 \(\overline{(\overline{A} \oplus C)} \cup (\overline{A} \cap \overline{B})\)
N°157048 \(\overline{(\overline{A} \oplus C)} \cup \overline{(B \cup A)}\)
N°158584 \(\overline{(\overline{A} \oplus C)} \cup \overline{(B \cup C)}\)
N°159362 \(\overline{(\overline{A} \oplus C)} \cup (\overline{B} - A)\)
N°159728 \(\overline{(\overline{A} \oplus C)} \cup (\overline{B} \cap \overline{A})\)
N°160898 \(\overline{(\overline{A} \oplus C)} \cup (\overline{B} - C)\)
N°161264 \(\overline{(\overline{A} \oplus C)} \cup (\overline{B} \cap \overline{C})\)
N°162424 \(\overline{(\overline{A} \oplus C)} \cup \overline{(C \cup B)}\)
N°164738 \(\overline{(\overline{A} \oplus C)} \cup (\overline{C} - B)\)
N°165104 \(\overline{(\overline{A} \oplus C)} \cup (\overline{C} \cap \overline{B})\)
N°167031 \((\overline{A} \oplus \overline{C}) \cup \overline{(A \cup B)}\)
N°169345 \((\overline{A} \oplus \overline{C}) \cup (\overline{A} - B)\)
N°169711 \((\overline{A} \oplus \overline{C}) \cup (\overline{A} \cap \overline{B})\)
N°170871 \((\overline{A} \oplus \overline{C}) \cup \overline{(B \cup A)}\)
N°172407 \((\overline{A} \oplus \overline{C}) \cup \overline{(B \cup C)}\)
N°173185 \((\overline{A} \oplus \overline{C}) \cup (\overline{B} - A)\)
N°173551 \((\overline{A} \oplus \overline{C}) \cup (\overline{B} \cap \overline{A})\)
N°174721 \((\overline{A} \oplus \overline{C}) \cup (\overline{B} - C)\)
N°175087 \((\overline{A} \oplus \overline{C}) \cup (\overline{B} \cap \overline{C})\)
N°176247 \((\overline{A} \oplus \overline{C}) \cup \overline{(C \cup B)}\)
N°178561 \((\overline{A} \oplus \overline{C}) \cup (\overline{C} - B)\)
N°178927 \((\overline{A} \oplus \overline{C}) \cup (\overline{C} \cap \overline{B})\)
N°181532 \(\overline{(B \cup A)} \cup (A \oplus C)\)
N°181918 \(\overline{(B \cup A)} \cup \overline{(A \oplus \overline{C})}\)
N°183838 \(\overline{(B \cup A)} \cup \overline{(\overline{A} \oplus C)}\)
N°184220 \(\overline{(B \cup A)} \cup (\overline{A} \oplus \overline{C})\)
N°189212 \(\overline{(B \cup A)} \cup (C \oplus A)\)
N°189598 \(\overline{(B \cup A)} \cup \overline{(C \oplus \overline{A})}\)
N°191518 \(\overline{(B \cup A)} \cup \overline{(\overline{C} \oplus A)}\)
N°191900 \(\overline{(B \cup A)} \cup (\overline{C} \oplus \overline{A})\)
N°236828 \(\overline{(B \cup C)} \cup (A \oplus C)\)
N°237214 \(\overline{(B \cup C)} \cup \overline{(A \oplus \overline{C})}\)
N°239134 \(\overline{(B \cup C)} \cup \overline{(\overline{A} \oplus C)}\)
N°239516 \(\overline{(B \cup C)} \cup (\overline{A} \oplus \overline{C})\)
N°244508 \(\overline{(B \cup C)} \cup (C \oplus A)\)
N°244894 \(\overline{(B \cup C)} \cup \overline{(C \oplus \overline{A})}\)
N°246814 \(\overline{(B \cup C)} \cup \overline{(\overline{C} \oplus A)}\)
N°247196 \(\overline{(B \cup C)} \cup (\overline{C} \oplus \overline{A})\)
N°264667 \((\overline{B} - A) \cup (A \oplus C)\)
N°265053 \((\overline{B} - A) \cup \overline{(A \oplus \overline{C})}\)
N°266973 \((\overline{B} - A) \cup \overline{(\overline{A} \oplus C)}\)
N°267355 \((\overline{B} - A) \cup (\overline{A} \oplus \overline{C})\)
N°272347 \((\overline{B} - A) \cup (C \oplus A)\)
N°272733 \((\overline{B} - A) \cup \overline{(C \oplus \overline{A})}\)
N°274653 \((\overline{B} - A) \cup \overline{(\overline{C} \oplus A)}\)
N°275035 \((\overline{B} - A) \cup (\overline{C} \oplus \overline{A})\)
N°278203 \((\overline{B} \cap \overline{A}) \cup (A \oplus C)\)
N°278589 \((\overline{B} \cap \overline{A}) \cup \overline{(A \oplus \overline{C})}\)
N°280509 \((\overline{B} \cap \overline{A}) \cup \overline{(\overline{A} \oplus C)}\)
N°280891 \((\overline{B} \cap \overline{A}) \cup (\overline{A} \oplus \overline{C})\)
N°285883 \((\overline{B} \cap \overline{A}) \cup (C \oplus A)\)
N°286269 \((\overline{B} \cap \overline{A}) \cup \overline{(C \oplus \overline{A})}\)
N°288189 \((\overline{B} \cap \overline{A}) \cup \overline{(\overline{C} \oplus A)}\)
N°288571 \((\overline{B} \cap \overline{A}) \cup (\overline{C} \oplus \overline{A})\)
N°319963 \((\overline{B} - C) \cup (A \oplus C)\)
N°320349 \((\overline{B} - C) \cup \overline{(A \oplus \overline{C})}\)
N°322269 \((\overline{B} - C) \cup \overline{(\overline{A} \oplus C)}\)
N°322651 \((\overline{B} - C) \cup (\overline{A} \oplus \overline{C})\)
N°327643 \((\overline{B} - C) \cup (C \oplus A)\)
N°328029 \((\overline{B} - C) \cup \overline{(C \oplus \overline{A})}\)
N°329949 \((\overline{B} - C) \cup \overline{(\overline{C} \oplus A)}\)
N°330331 \((\overline{B} - C) \cup (\overline{C} \oplus \overline{A})\)
N°333499 \((\overline{B} \cap \overline{C}) \cup (A \oplus C)\)
N°333885 \((\overline{B} \cap \overline{C}) \cup \overline{(A \oplus \overline{C})}\)
N°335805 \((\overline{B} \cap \overline{C}) \cup \overline{(\overline{A} \oplus C)}\)
N°336187 \((\overline{B} \cap \overline{C}) \cup (\overline{A} \oplus \overline{C})\)
N°341179 \((\overline{B} \cap \overline{C}) \cup (C \oplus A)\)
N°341565 \((\overline{B} \cap \overline{C}) \cup \overline{(C \oplus \overline{A})}\)
N°343485 \((\overline{B} \cap \overline{C}) \cup \overline{(\overline{C} \oplus A)}\)
N°343867 \((\overline{B} \cap \overline{C}) \cup (\overline{C} \oplus \overline{A})\)
N°346743 \((C \oplus A) \cup \overline{(A \cup B)}\)
N°349057 \((C \oplus A) \cup (\overline{A} - B)\)
N°349423 \((C \oplus A) \cup (\overline{A} \cap \overline{B})\)
N°350583 \((C \oplus A) \cup \overline{(B \cup A)}\)
N°352119 \((C \oplus A) \cup \overline{(B \cup C)}\)
N°352897 \((C \oplus A) \cup (\overline{B} - A)\)
N°353263 \((C \oplus A) \cup (\overline{B} \cap \overline{A})\)
N°354433 \((C \oplus A) \cup (\overline{B} - C)\)
N°354799 \((C \oplus A) \cup (\overline{B} \cap \overline{C})\)
N°355959 \((C \oplus A) \cup \overline{(C \cup B)}\)
N°358273 \((C \oplus A) \cup (\overline{C} - B)\)
N°358639 \((C \oplus A) \cup (\overline{C} \cap \overline{B})\)
N°360568 \(\overline{(C \oplus \overline{A})} \cup \overline{(A \cup B)}\)
N°362882 \(\overline{(C \oplus \overline{A})} \cup (\overline{A} - B)\)
N°363248 \(\overline{(C \oplus \overline{A})} \cup (\overline{A} \cap \overline{B})\)
N°364408 \(\overline{(C \oplus \overline{A})} \cup \overline{(B \cup A)}\)
N°365944 \(\overline{(C \oplus \overline{A})} \cup \overline{(B \cup C)}\)
N°366722 \(\overline{(C \oplus \overline{A})} \cup (\overline{B} - A)\)
N°367088 \(\overline{(C \oplus \overline{A})} \cup (\overline{B} \cap \overline{A})\)
N°368258 \(\overline{(C \oplus \overline{A})} \cup (\overline{B} - C)\)
N°368624 \(\overline{(C \oplus \overline{A})} \cup (\overline{B} \cap \overline{C})\)
N°369784 \(\overline{(C \oplus \overline{A})} \cup \overline{(C \cup B)}\)
N°372098 \(\overline{(C \oplus \overline{A})} \cup (\overline{C} - B)\)
N°372464 \(\overline{(C \oplus \overline{A})} \cup (\overline{C} \cap \overline{B})\)
N°373536 \(C \cup\overline{(B \cup A)}\oplus A\)
N°373920 \(C \cup\overline{(B \cup A)}\oplus \overline{A}\)
N°374304 \(C \cup\overline{(B \cup A)}\oplus B\)
N°374688 \(C \cup\overline{(B \cup A)}\oplus \overline{B}\)
N°375068 \(\overline{(C \cup B)} \cup (A \oplus C)\)
N°375072 \(C \cup\overline{(B \cup A)}\oplus C\)
N°375454 \(\overline{(C \cup B)} \cup \overline{(A \oplus \overline{C})}\)
N°375456 \(C \cup\overline{(B \cup A)}\oplus \overline{C}\)
N°377374 \(\overline{(C \cup B)} \cup \overline{(\overline{A} \oplus C)}\)
N°377756 \(\overline{(C \cup B)} \cup (\overline{A} \oplus \overline{C})\)
N°382748 \(\overline{(C \cup B)} \cup (C \oplus A)\)
N°383134 \(\overline{(C \cup B)} \cup \overline{(C \oplus \overline{A})}\)
N°385054 \(\overline{(C \cup B)} \cup \overline{(\overline{C} \oplus A)}\)
N°385436 \(\overline{(C \cup B)} \cup (\overline{C} \oplus \overline{A})\)
N°387407 \(C \cup(\overline{B} - A)\oplus A\)
N°387791 \(C \cup(\overline{B} - A)\oplus \overline{A}\)
N°388175 \(C \cup(\overline{B} - A)\oplus B\)
N°388559 \(C \cup(\overline{B} - A)\oplus \overline{B}\)
N°388943 \(C \cup(\overline{B} - A)\oplus C\)
N°389327 \(C \cup(\overline{B} - A)\oplus \overline{C}\)
N°429688 \(\overline{(\overline{C} \oplus A)} \cup \overline{(A \cup B)}\)
N°432002 \(\overline{(\overline{C} \oplus A)} \cup (\overline{A} - B)\)
N°432368 \(\overline{(\overline{C} \oplus A)} \cup (\overline{A} \cap \overline{B})\)
N°433528 \(\overline{(\overline{C} \oplus A)} \cup \overline{(B \cup A)}\)
N°435064 \(\overline{(\overline{C} \oplus A)} \cup \overline{(B \cup C)}\)
N°435842 \(\overline{(\overline{C} \oplus A)} \cup (\overline{B} - A)\)
N°436208 \(\overline{(\overline{C} \oplus A)} \cup (\overline{B} \cap \overline{A})\)
N°437378 \(\overline{(\overline{C} \oplus A)} \cup (\overline{B} - C)\)
N°437744 \(\overline{(\overline{C} \oplus A)} \cup (\overline{B} \cap \overline{C})\)
N°438904 \(\overline{(\overline{C} \oplus A)} \cup \overline{(C \cup B)}\)
N°441218 \(\overline{(\overline{C} \oplus A)} \cup (\overline{C} - B)\)
N°441584 \(\overline{(\overline{C} \oplus A)} \cup (\overline{C} \cap \overline{B})\)
N°443511 \((\overline{C} \oplus \overline{A}) \cup \overline{(A \cup B)}\)
N°445825 \((\overline{C} \oplus \overline{A}) \cup (\overline{A} - B)\)
N°446191 \((\overline{C} \oplus \overline{A}) \cup (\overline{A} \cap \overline{B})\)
N°447351 \((\overline{C} \oplus \overline{A}) \cup \overline{(B \cup A)}\)
N°448887 \((\overline{C} \oplus \overline{A}) \cup \overline{(B \cup C)}\)
N°449665 \((\overline{C} \oplus \overline{A}) \cup (\overline{B} - A)\)
N°450031 \((\overline{C} \oplus \overline{A}) \cup (\overline{B} \cap \overline{A})\)
N°451201 \((\overline{C} \oplus \overline{A}) \cup (\overline{B} - C)\)
N°451567 \((\overline{C} \oplus \overline{A}) \cup (\overline{B} \cap \overline{C})\)
N°452727 \((\overline{C} \oplus \overline{A}) \cup \overline{(C \cup B)}\)
N°455041 \((\overline{C} \oplus \overline{A}) \cup (\overline{C} - B)\)
N°455407 \((\overline{C} \oplus \overline{A}) \cup (\overline{C} \cap \overline{B})\)
N°458203 \((\overline{C} - B) \cup (A \oplus C)\)
N°458589 \((\overline{C} - B) \cup \overline{(A \oplus \overline{C})}\)
N°460509 \((\overline{C} - B) \cup \overline{(\overline{A} \oplus C)}\)
N°460891 \((\overline{C} - B) \cup (\overline{A} \oplus \overline{C})\)
N°465883 \((\overline{C} - B) \cup (C \oplus A)\)
N°466269 \((\overline{C} - B) \cup \overline{(C \oplus \overline{A})}\)
N°468189 \((\overline{C} - B) \cup \overline{(\overline{C} \oplus A)}\)
N°468571 \((\overline{C} - B) \cup (\overline{C} \oplus \overline{A})\)
N°471739 \((\overline{C} \cap \overline{B}) \cup (A \oplus C)\)
N°472125 \((\overline{C} \cap \overline{B}) \cup \overline{(A \oplus \overline{C})}\)
N°472488 \(\overline{C} \cap\overline{(\overline{B} \cap \overline{A})}\oplus A\)
N°472775 \(\overline{C} -(\overline{B} \cap \overline{A})\oplus A\)
N°472872 \(\overline{C} \cap\overline{(\overline{B} \cap \overline{A})}\oplus \overline{A}\)
N°473159 \(\overline{C} -(\overline{B} \cap \overline{A})\oplus \overline{A}\)
N°473256 \(\overline{C} \cap\overline{(\overline{B} \cap \overline{A})}\oplus B\)
N°473543 \(\overline{C} -(\overline{B} \cap \overline{A})\oplus B\)
N°473640 \(\overline{C} \cap\overline{(\overline{B} \cap \overline{A})}\oplus \overline{B}\)
N°473927 \(\overline{C} -(\overline{B} \cap \overline{A})\oplus \overline{B}\)
N°474024 \(\overline{C} \cap\overline{(\overline{B} \cap \overline{A})}\oplus C\)
N°474045 \((\overline{C} \cap \overline{B}) \cup \overline{(\overline{A} \oplus C)}\)
N°474311 \(\overline{C} -(\overline{B} \cap \overline{A})\oplus C\)
N°474408 \(\overline{C} \cap\overline{(\overline{B} \cap \overline{A})}\oplus \overline{C}\)
N°474427 \((\overline{C} \cap \overline{B}) \cup (\overline{A} \oplus \overline{C})\)
N°474695 \(\overline{C} -(\overline{B} \cap \overline{A})\oplus \overline{C}\)
N°479419 \((\overline{C} \cap \overline{B}) \cup (C \oplus A)\)
N°479805 \((\overline{C} \cap \overline{B}) \cup \overline{(C \oplus \overline{A})}\)
N°481725 \((\overline{C} \cap \overline{B}) \cup \overline{(\overline{C} \oplus A)}\)
N°482107 \((\overline{C} \cap \overline{B}) \cup (\overline{C} \oplus \overline{A})\)