N°43768 \(\overline{(A \oplus B)} \cup \overline{(A \cup \overline{C})}\)
N°45680 \(\overline{(A \oplus B)} \cup (\overline{A} \cap C)\)
N°46082 \(\overline{(A \oplus B)} \cup (\overline{A} - \overline{C})\)
N°47984 \(\overline{(A \oplus B)} \cup (B \cap C)\)
N°48386 \(\overline{(A \oplus B)} \cup (B - \overline{C})\)
N°50680 \(\overline{(A \oplus B)} \cup \overline{(\overline{B} \cup \overline{C})}\)
N°51074 \(\overline{(A \oplus B)} \cup (C - A)\)
N°51440 \(\overline{(A \oplus B)} \cup (C \cap \overline{A})\)
N°51824 \(\overline{(A \oplus B)} \cup (C \cap B)\)
N°52226 \(\overline{(A \oplus B)} \cup (C - \overline{B})\)
N°53368 \(\overline{(A \oplus B)} \cup \overline{(\overline{C} \cup A)}\)
N°54520 \(\overline{(A \oplus B)} \cup \overline{(\overline{C} \cup \overline{B})}\)
N°57591 \((A \oplus \overline{B}) \cup \overline{(A \cup \overline{C})}\)
N°59503 \((A \oplus \overline{B}) \cup (\overline{A} \cap C)\)
N°59905 \((A \oplus \overline{B}) \cup (\overline{A} - \overline{C})\)
N°61807 \((A \oplus \overline{B}) \cup (B \cap C)\)
N°62209 \((A \oplus \overline{B}) \cup (B - \overline{C})\)
N°64503 \((A \oplus \overline{B}) \cup \overline{(\overline{B} \cup \overline{C})}\)
N°64897 \((A \oplus \overline{B}) \cup (C - A)\)
N°65263 \((A \oplus \overline{B}) \cup (C \cap \overline{A})\)
N°65647 \((A \oplus \overline{B}) \cup (C \cap B)\)
N°66049 \((A \oplus \overline{B}) \cup (C - \overline{B})\)
N°67191 \((A \oplus \overline{B}) \cup \overline{(\overline{C} \cup A)}\)
N°68343 \((A \oplus \overline{B}) \cup \overline{(\overline{C} \cup \overline{B})}\)
N°76367 \(A \cup(C - \overline{B})\oplus A\)
N°76751 \(A \cup(C - \overline{B})\oplus \overline{A}\)
N°77135 \(A \cup(C - \overline{B})\oplus B\)
N°77519 \(A \cup(C - \overline{B})\oplus \overline{B}\)
N°77903 \(A \cup(C - \overline{B})\oplus C\)
N°78287 \(A \cup(C - \overline{B})\oplus \overline{C}\)
N°83998 \(\overline{(A \cup \overline{C})} \cup \overline{(A \oplus B)}\)
N°84380 \(\overline{(A \cup \overline{C})} \cup (A \oplus \overline{B})\)
N°86300 \(\overline{(A \cup \overline{C})} \cup (\overline{A} \oplus B)\)
N°86686 \(\overline{(A \cup \overline{C})} \cup \overline{(\overline{A} \oplus \overline{B})}\)
N°87838 \(\overline{(A \cup \overline{C})} \cup \overline{(B \oplus A)}\)
N°88220 \(\overline{(A \cup \overline{C})} \cup (B \oplus \overline{A})\)
N°90140 \(\overline{(A \cup \overline{C})} \cup (\overline{B} \oplus A)\)
N°90144 \(A \cup\overline{(\overline{C} \cup \overline{B})}\oplus A\)
N°90526 \(\overline{(A \cup \overline{C})} \cup \overline{(\overline{B} \oplus \overline{A})}\)
N°90528 \(A \cup\overline{(\overline{C} \cup \overline{B})}\oplus \overline{A}\)
N°90912 \(A \cup\overline{(\overline{C} \cup \overline{B})}\oplus B\)
N°91296 \(A \cup\overline{(\overline{C} \cup \overline{B})}\oplus \overline{B}\)
N°91680 \(A \cup\overline{(\overline{C} \cup \overline{B})}\oplus C\)
N°92064 \(A \cup\overline{(\overline{C} \cup \overline{B})}\oplus \overline{C}\)
N°126711 \((\overline{A} \oplus B) \cup \overline{(A \cup \overline{C})}\)
N°128623 \((\overline{A} \oplus B) \cup (\overline{A} \cap C)\)
N°129025 \((\overline{A} \oplus B) \cup (\overline{A} - \overline{C})\)
N°130927 \((\overline{A} \oplus B) \cup (B \cap C)\)
N°131329 \((\overline{A} \oplus B) \cup (B - \overline{C})\)
N°133623 \((\overline{A} \oplus B) \cup \overline{(\overline{B} \cup \overline{C})}\)
N°134017 \((\overline{A} \oplus B) \cup (C - A)\)
N°134383 \((\overline{A} \oplus B) \cup (C \cap \overline{A})\)
N°134767 \((\overline{A} \oplus B) \cup (C \cap B)\)
N°135169 \((\overline{A} \oplus B) \cup (C - \overline{B})\)
N°136311 \((\overline{A} \oplus B) \cup \overline{(\overline{C} \cup A)}\)
N°137463 \((\overline{A} \oplus B) \cup \overline{(\overline{C} \cup \overline{B})}\)
N°140536 \(\overline{(\overline{A} \oplus \overline{B})} \cup \overline{(A \cup \overline{C})}\)
N°142448 \(\overline{(\overline{A} \oplus \overline{B})} \cup (\overline{A} \cap C)\)
N°142850 \(\overline{(\overline{A} \oplus \overline{B})} \cup (\overline{A} - \overline{C})\)
N°144752 \(\overline{(\overline{A} \oplus \overline{B})} \cup (B \cap C)\)
N°145154 \(\overline{(\overline{A} \oplus \overline{B})} \cup (B - \overline{C})\)
N°147448 \(\overline{(\overline{A} \oplus \overline{B})} \cup \overline{(\overline{B} \cup \overline{C})}\)
N°147842 \(\overline{(\overline{A} \oplus \overline{B})} \cup (C - A)\)
N°148208 \(\overline{(\overline{A} \oplus \overline{B})} \cup (C \cap \overline{A})\)
N°148592 \(\overline{(\overline{A} \oplus \overline{B})} \cup (C \cap B)\)
N°148994 \(\overline{(\overline{A} \oplus \overline{B})} \cup (C - \overline{B})\)
N°150136 \(\overline{(\overline{A} \oplus \overline{B})} \cup \overline{(\overline{C} \cup A)}\)
N°151288 \(\overline{(\overline{A} \oplus \overline{B})} \cup \overline{(\overline{C} \cup \overline{B})}\)
N°153021 \((\overline{A} \cap C) \cup \overline{(A \oplus B)}\)
N°153403 \((\overline{A} \cap C) \cup (A \oplus \overline{B})\)
N°155323 \((\overline{A} \cap C) \cup (\overline{A} \oplus B)\)
N°155709 \((\overline{A} \cap C) \cup \overline{(\overline{A} \oplus \overline{B})}\)
N°156840 \(\overline{A} \cap\overline{(C \cap B)}\oplus A\)
N°156861 \((\overline{A} \cap C) \cup \overline{(B \oplus A)}\)
N°157127 \(\overline{A} -(C \cap B)\oplus A\)
N°157224 \(\overline{A} \cap\overline{(C \cap B)}\oplus \overline{A}\)
N°157243 \((\overline{A} \cap C) \cup (B \oplus \overline{A})\)
N°157511 \(\overline{A} -(C \cap B)\oplus \overline{A}\)
N°157608 \(\overline{A} \cap\overline{(C \cap B)}\oplus B\)
N°157895 \(\overline{A} -(C \cap B)\oplus B\)
N°157992 \(\overline{A} \cap\overline{(C \cap B)}\oplus \overline{B}\)
N°158279 \(\overline{A} -(C \cap B)\oplus \overline{B}\)
N°158376 \(\overline{A} \cap\overline{(C \cap B)}\oplus C\)
N°158663 \(\overline{A} -(C \cap B)\oplus C\)
N°158760 \(\overline{A} \cap\overline{(C \cap B)}\oplus \overline{C}\)
N°159047 \(\overline{A} -(C \cap B)\oplus \overline{C}\)
N°159163 \((\overline{A} \cap C) \cup (\overline{B} \oplus A)\)
N°159549 \((\overline{A} \cap C) \cup \overline{(\overline{B} \oplus \overline{A})}\)
N°167133 \((\overline{A} - \overline{C}) \cup \overline{(A \oplus B)}\)
N°167515 \((\overline{A} - \overline{C}) \cup (A \oplus \overline{B})\)
N°169435 \((\overline{A} - \overline{C}) \cup (\overline{A} \oplus B)\)
N°169821 \((\overline{A} - \overline{C}) \cup \overline{(\overline{A} \oplus \overline{B})}\)
N°170973 \((\overline{A} - \overline{C}) \cup \overline{(B \oplus A)}\)
N°171355 \((\overline{A} - \overline{C}) \cup (B \oplus \overline{A})\)
N°173275 \((\overline{A} - \overline{C}) \cup (\overline{B} \oplus A)\)
N°173661 \((\overline{A} - \overline{C}) \cup \overline{(\overline{B} \oplus \overline{A})}\)
N°182008 \(\overline{(B \oplus A)} \cup \overline{(A \cup \overline{C})}\)
N°183920 \(\overline{(B \oplus A)} \cup (\overline{A} \cap C)\)
N°184322 \(\overline{(B \oplus A)} \cup (\overline{A} - \overline{C})\)
N°186224 \(\overline{(B \oplus A)} \cup (B \cap C)\)
N°186626 \(\overline{(B \oplus A)} \cup (B - \overline{C})\)
N°188920 \(\overline{(B \oplus A)} \cup \overline{(\overline{B} \cup \overline{C})}\)
N°189314 \(\overline{(B \oplus A)} \cup (C - A)\)
N°189680 \(\overline{(B \oplus A)} \cup (C \cap \overline{A})\)
N°190064 \(\overline{(B \oplus A)} \cup (C \cap B)\)
N°190466 \(\overline{(B \oplus A)} \cup (C - \overline{B})\)
N°191608 \(\overline{(B \oplus A)} \cup \overline{(\overline{C} \cup A)}\)
N°192760 \(\overline{(B \oplus A)} \cup \overline{(\overline{C} \cup \overline{B})}\)
N°195831 \((B \oplus \overline{A}) \cup \overline{(A \cup \overline{C})}\)
N°197743 \((B \oplus \overline{A}) \cup (\overline{A} \cap C)\)
N°198145 \((B \oplus \overline{A}) \cup (\overline{A} - \overline{C})\)
N°200047 \((B \oplus \overline{A}) \cup (B \cap C)\)
N°200449 \((B \oplus \overline{A}) \cup (B - \overline{C})\)
N°202743 \((B \oplus \overline{A}) \cup \overline{(\overline{B} \cup \overline{C})}\)
N°203137 \((B \oplus \overline{A}) \cup (C - A)\)
N°203503 \((B \oplus \overline{A}) \cup (C \cap \overline{A})\)
N°203887 \((B \oplus \overline{A}) \cup (C \cap B)\)
N°204289 \((B \oplus \overline{A}) \cup (C - \overline{B})\)
N°205431 \((B \oplus \overline{A}) \cup \overline{(\overline{C} \cup A)}\)
N°206583 \((B \oplus \overline{A}) \cup \overline{(\overline{C} \cup \overline{B})}\)
N°235965 \((B \cap C) \cup \overline{(A \oplus B)}\)
N°236347 \((B \cap C) \cup (A \oplus \overline{B})\)
N°237480 \(B \cap\overline{(C \cap \overline{A})}\oplus A\)
N°237767 \(B -(C \cap \overline{A})\oplus A\)
N°237864 \(B \cap\overline{(C \cap \overline{A})}\oplus \overline{A}\)
N°238151 \(B -(C \cap \overline{A})\oplus \overline{A}\)
N°238248 \(B \cap\overline{(C \cap \overline{A})}\oplus B\)
N°238267 \((B \cap C) \cup (\overline{A} \oplus B)\)
N°238535 \(B -(C \cap \overline{A})\oplus B\)
N°238632 \(B \cap\overline{(C \cap \overline{A})}\oplus \overline{B}\)
N°238653 \((B \cap C) \cup \overline{(\overline{A} \oplus \overline{B})}\)
N°238919 \(B -(C \cap \overline{A})\oplus \overline{B}\)
N°239016 \(B \cap\overline{(C \cap \overline{A})}\oplus C\)
N°239303 \(B -(C \cap \overline{A})\oplus C\)
N°239400 \(B \cap\overline{(C \cap \overline{A})}\oplus \overline{C}\)
N°239687 \(B -(C \cap \overline{A})\oplus \overline{C}\)
N°239805 \((B \cap C) \cup \overline{(B \oplus A)}\)
N°240187 \((B \cap C) \cup (B \oplus \overline{A})\)
N°242107 \((B \cap C) \cup (\overline{B} \oplus A)\)
N°242493 \((B \cap C) \cup \overline{(\overline{B} \oplus \overline{A})}\)
N°250077 \((B - \overline{C}) \cup \overline{(A \oplus B)}\)
N°250459 \((B - \overline{C}) \cup (A \oplus \overline{B})\)
N°252379 \((B - \overline{C}) \cup (\overline{A} \oplus B)\)
N°252765 \((B - \overline{C}) \cup \overline{(\overline{A} \oplus \overline{B})}\)
N°253917 \((B - \overline{C}) \cup \overline{(B \oplus A)}\)
N°254299 \((B - \overline{C}) \cup (B \oplus \overline{A})\)
N°256219 \((B - \overline{C}) \cup (\overline{B} \oplus A)\)
N°256605 \((B - \overline{C}) \cup \overline{(\overline{B} \oplus \overline{A})}\)
N°264951 \((\overline{B} \oplus A) \cup \overline{(A \cup \overline{C})}\)
N°266863 \((\overline{B} \oplus A) \cup (\overline{A} \cap C)\)
N°267265 \((\overline{B} \oplus A) \cup (\overline{A} - \overline{C})\)
N°269167 \((\overline{B} \oplus A) \cup (B \cap C)\)
N°269569 \((\overline{B} \oplus A) \cup (B - \overline{C})\)
N°271863 \((\overline{B} \oplus A) \cup \overline{(\overline{B} \cup \overline{C})}\)
N°272257 \((\overline{B} \oplus A) \cup (C - A)\)
N°272623 \((\overline{B} \oplus A) \cup (C \cap \overline{A})\)
N°273007 \((\overline{B} \oplus A) \cup (C \cap B)\)
N°273409 \((\overline{B} \oplus A) \cup (C - \overline{B})\)
N°274551 \((\overline{B} \oplus A) \cup \overline{(\overline{C} \cup A)}\)
N°275703 \((\overline{B} \oplus A) \cup \overline{(\overline{C} \cup \overline{B})}\)
N°278776 \(\overline{(\overline{B} \oplus \overline{A})} \cup \overline{(A \cup \overline{C})}\)
N°280688 \(\overline{(\overline{B} \oplus \overline{A})} \cup (\overline{A} \cap C)\)
N°281090 \(\overline{(\overline{B} \oplus \overline{A})} \cup (\overline{A} - \overline{C})\)
N°282992 \(\overline{(\overline{B} \oplus \overline{A})} \cup (B \cap C)\)
N°283394 \(\overline{(\overline{B} \oplus \overline{A})} \cup (B - \overline{C})\)
N°285688 \(\overline{(\overline{B} \oplus \overline{A})} \cup \overline{(\overline{B} \cup \overline{C})}\)
N°286082 \(\overline{(\overline{B} \oplus \overline{A})} \cup (C - A)\)
N°286448 \(\overline{(\overline{B} \oplus \overline{A})} \cup (C \cap \overline{A})\)
N°286832 \(\overline{(\overline{B} \oplus \overline{A})} \cup (C \cap B)\)
N°287234 \(\overline{(\overline{B} \oplus \overline{A})} \cup (C - \overline{B})\)
N°288376 \(\overline{(\overline{B} \oplus \overline{A})} \cup \overline{(\overline{C} \cup A)}\)
N°289528 \(\overline{(\overline{B} \oplus \overline{A})} \cup \overline{(\overline{C} \cup \overline{B})}\)
N°318287 \(\overline{B} \cup(C - A)\oplus A\)
N°318671 \(\overline{B} \cup(C - A)\oplus \overline{A}\)
N°319055 \(\overline{B} \cup(C - A)\oplus B\)
N°319439 \(\overline{B} \cup(C - A)\oplus \overline{B}\)
N°319823 \(\overline{B} \cup(C - A)\oplus C\)
N°320207 \(\overline{B} \cup(C - A)\oplus \overline{C}\)
N°332064 \(\overline{B} \cup\overline{(\overline{C} \cup A)}\oplus A\)
N°332448 \(\overline{B} \cup\overline{(\overline{C} \cup A)}\oplus \overline{A}\)
N°332830 \(\overline{(\overline{B} \cup \overline{C})} \cup \overline{(A \oplus B)}\)
N°332832 \(\overline{B} \cup\overline{(\overline{C} \cup A)}\oplus B\)
N°333212 \(\overline{(\overline{B} \cup \overline{C})} \cup (A \oplus \overline{B})\)
N°333216 \(\overline{B} \cup\overline{(\overline{C} \cup A)}\oplus \overline{B}\)
N°333600 \(\overline{B} \cup\overline{(\overline{C} \cup A)}\oplus C\)
N°333984 \(\overline{B} \cup\overline{(\overline{C} \cup A)}\oplus \overline{C}\)
N°335132 \(\overline{(\overline{B} \cup \overline{C})} \cup (\overline{A} \oplus B)\)
N°335518 \(\overline{(\overline{B} \cup \overline{C})} \cup \overline{(\overline{A} \oplus \overline{B})}\)
N°336670 \(\overline{(\overline{B} \cup \overline{C})} \cup \overline{(B \oplus A)}\)
N°337052 \(\overline{(\overline{B} \cup \overline{C})} \cup (B \oplus \overline{A})\)
N°338972 \(\overline{(\overline{B} \cup \overline{C})} \cup (\overline{B} \oplus A)\)
N°339358 \(\overline{(\overline{B} \cup \overline{C})} \cup \overline{(\overline{B} \oplus \overline{A})}\)
N°346845 \((C - A) \cup \overline{(A \oplus B)}\)
N°347227 \((C - A) \cup (A \oplus \overline{B})\)
N°349147 \((C - A) \cup (\overline{A} \oplus B)\)
N°349533 \((C - A) \cup \overline{(\overline{A} \oplus \overline{B})}\)
N°350685 \((C - A) \cup \overline{(B \oplus A)}\)
N°351067 \((C - A) \cup (B \oplus \overline{A})\)
N°352987 \((C - A) \cup (\overline{B} \oplus A)\)
N°353373 \((C - A) \cup \overline{(\overline{B} \oplus \overline{A})}\)
N°360381 \((C \cap \overline{A}) \cup \overline{(A \oplus B)}\)
N°360763 \((C \cap \overline{A}) \cup (A \oplus \overline{B})\)
N°362683 \((C \cap \overline{A}) \cup (\overline{A} \oplus B)\)
N°363069 \((C \cap \overline{A}) \cup \overline{(\overline{A} \oplus \overline{B})}\)
N°364221 \((C \cap \overline{A}) \cup \overline{(B \oplus A)}\)
N°364603 \((C \cap \overline{A}) \cup (B \oplus \overline{A})\)
N°366523 \((C \cap \overline{A}) \cup (\overline{B} \oplus A)\)
N°366909 \((C \cap \overline{A}) \cup \overline{(\overline{B} \oplus \overline{A})}\)
N°374205 \((C \cap B) \cup \overline{(A \oplus B)}\)
N°374587 \((C \cap B) \cup (A \oplus \overline{B})\)
N°376507 \((C \cap B) \cup (\overline{A} \oplus B)\)
N°376893 \((C \cap B) \cup \overline{(\overline{A} \oplus \overline{B})}\)
N°378045 \((C \cap B) \cup \overline{(B \oplus A)}\)
N°378427 \((C \cap B) \cup (B \oplus \overline{A})\)
N°380347 \((C \cap B) \cup (\overline{B} \oplus A)\)
N°380733 \((C \cap B) \cup \overline{(\overline{B} \oplus \overline{A})}\)
N°388317 \((C - \overline{B}) \cup \overline{(A \oplus B)}\)
N°388699 \((C - \overline{B}) \cup (A \oplus \overline{B})\)
N°390619 \((C - \overline{B}) \cup (\overline{A} \oplus B)\)
N°391005 \((C - \overline{B}) \cup \overline{(\overline{A} \oplus \overline{B})}\)
N°392157 \((C - \overline{B}) \cup \overline{(B \oplus A)}\)
N°392539 \((C - \overline{B}) \cup (B \oplus \overline{A})\)
N°394459 \((C - \overline{B}) \cup (\overline{B} \oplus A)\)
N°394845 \((C - \overline{B}) \cup \overline{(\overline{B} \oplus \overline{A})}\)
N°429598 \(\overline{(\overline{C} \cup A)} \cup \overline{(A \oplus B)}\)
N°429980 \(\overline{(\overline{C} \cup A)} \cup (A \oplus \overline{B})\)
N°431900 \(\overline{(\overline{C} \cup A)} \cup (\overline{A} \oplus B)\)
N°432286 \(\overline{(\overline{C} \cup A)} \cup \overline{(\overline{A} \oplus \overline{B})}\)
N°433438 \(\overline{(\overline{C} \cup A)} \cup \overline{(B \oplus A)}\)
N°433820 \(\overline{(\overline{C} \cup A)} \cup (B \oplus \overline{A})\)
N°435740 \(\overline{(\overline{C} \cup A)} \cup (\overline{B} \oplus A)\)
N°436126 \(\overline{(\overline{C} \cup A)} \cup \overline{(\overline{B} \oplus \overline{A})}\)
N°471070 \(\overline{(\overline{C} \cup \overline{B})} \cup \overline{(A \oplus B)}\)
N°471452 \(\overline{(\overline{C} \cup \overline{B})} \cup (A \oplus \overline{B})\)
N°473372 \(\overline{(\overline{C} \cup \overline{B})} \cup (\overline{A} \oplus B)\)
N°473758 \(\overline{(\overline{C} \cup \overline{B})} \cup \overline{(\overline{A} \oplus \overline{B})}\)
N°474910 \(\overline{(\overline{C} \cup \overline{B})} \cup \overline{(B \oplus A)}\)
N°475292 \(\overline{(\overline{C} \cup \overline{B})} \cup (B \oplus \overline{A})\)
N°477212 \(\overline{(\overline{C} \cup \overline{B})} \cup (\overline{B} \oplus A)\)
N°477598 \(\overline{(\overline{C} \cup \overline{B})} \cup \overline{(\overline{B} \oplus \overline{A})}\)