N°43485 \((A - B) \cup \overline{(A \oplus C)}\)
N°43867 \((A - B) \cup (A \oplus \overline{C})\)
N°45787 \((A - B) \cup (\overline{A} \oplus C)\)
N°46173 \((A - B) \cup \overline{(\overline{A} \oplus \overline{C})}\)
N°51165 \((A - B) \cup \overline{(C \oplus A)}\)
N°51547 \((A - B) \cup (C \oplus \overline{A})\)
N°53467 \((A - B) \cup (\overline{C} \oplus A)\)
N°53853 \((A - B) \cup \overline{(\overline{C} \oplus \overline{A})}\)
N°57021 \((A \cap \overline{B}) \cup \overline{(A \oplus C)}\)
N°57403 \((A \cap \overline{B}) \cup (A \oplus \overline{C})\)
N°59323 \((A \cap \overline{B}) \cup (\overline{A} \oplus C)\)
N°59709 \((A \cap \overline{B}) \cup \overline{(\overline{A} \oplus \overline{C})}\)
N°64701 \((A \cap \overline{B}) \cup \overline{(C \oplus A)}\)
N°65083 \((A \cap \overline{B}) \cup (C \oplus \overline{A})\)
N°66984 \(A \cap\overline{(\overline{B} \cap \overline{C})}\oplus A\)
N°67003 \((A \cap \overline{B}) \cup (\overline{C} \oplus A)\)
N°67271 \(A -(\overline{B} \cap \overline{C})\oplus A\)
N°67368 \(A \cap\overline{(\overline{B} \cap \overline{C})}\oplus \overline{A}\)
N°67389 \((A \cap \overline{B}) \cup \overline{(\overline{C} \oplus \overline{A})}\)
N°67655 \(A -(\overline{B} \cap \overline{C})\oplus \overline{A}\)
N°67752 \(A \cap\overline{(\overline{B} \cap \overline{C})}\oplus B\)
N°68039 \(A -(\overline{B} \cap \overline{C})\oplus B\)
N°68136 \(A \cap\overline{(\overline{B} \cap \overline{C})}\oplus \overline{B}\)
N°68423 \(A -(\overline{B} \cap \overline{C})\oplus \overline{B}\)
N°68520 \(A \cap\overline{(\overline{B} \cap \overline{C})}\oplus C\)
N°68807 \(A -(\overline{B} \cap \overline{C})\oplus C\)
N°68904 \(A \cap\overline{(\overline{B} \cap \overline{C})}\oplus \overline{C}\)
N°69191 \(A -(\overline{B} \cap \overline{C})\oplus \overline{C}\)
N°70274 \(\overline{(A \oplus C)} \cup (A - B)\)
N°70640 \(\overline{(A \oplus C)} \cup (A \cap \overline{B})\)
N°72568 \(\overline{(A \oplus C)} \cup \overline{(\overline{A} \cup B)}\)
N°74488 \(\overline{(A \oplus C)} \cup \overline{(B \cup \overline{A})}\)
N°75640 \(\overline{(A \oplus C)} \cup \overline{(B \cup C)}\)
N°76400 \(\overline{(A \oplus C)} \cup (\overline{B} \cap A)\)
N°76802 \(\overline{(A \oplus C)} \cup (\overline{B} - \overline{A})\)
N°77954 \(\overline{(A \oplus C)} \cup (\overline{B} - C)\)
N°78320 \(\overline{(A \oplus C)} \cup (\overline{B} \cap \overline{C})\)
N°79480 \(\overline{(A \oplus C)} \cup \overline{(C \cup B)}\)
N°81794 \(\overline{(A \oplus C)} \cup (\overline{C} - B)\)
N°82160 \(\overline{(A \oplus C)} \cup (\overline{C} \cap \overline{B})\)
N°84097 \((A \oplus \overline{C}) \cup (A - B)\)
N°84463 \((A \oplus \overline{C}) \cup (A \cap \overline{B})\)
N°86391 \((A \oplus \overline{C}) \cup \overline{(\overline{A} \cup B)}\)
N°88311 \((A \oplus \overline{C}) \cup \overline{(B \cup \overline{A})}\)
N°89463 \((A \oplus \overline{C}) \cup \overline{(B \cup C)}\)
N°90223 \((A \oplus \overline{C}) \cup (\overline{B} \cap A)\)
N°90625 \((A \oplus \overline{C}) \cup (\overline{B} - \overline{A})\)
N°91777 \((A \oplus \overline{C}) \cup (\overline{B} - C)\)
N°92143 \((A \oplus \overline{C}) \cup (\overline{B} \cap \overline{C})\)
N°93303 \((A \oplus \overline{C}) \cup \overline{(C \cup B)}\)
N°95617 \((A \oplus \overline{C}) \cup (\overline{C} - B)\)
N°95983 \((A \oplus \overline{C}) \cup (\overline{C} \cap \overline{B})\)
N°126238 \(\overline{(\overline{A} \cup B)} \cup \overline{(A \oplus C)}\)
N°126620 \(\overline{(\overline{A} \cup B)} \cup (A \oplus \overline{C})\)
N°128540 \(\overline{(\overline{A} \cup B)} \cup (\overline{A} \oplus C)\)
N°128926 \(\overline{(\overline{A} \cup B)} \cup \overline{(\overline{A} \oplus \overline{C})}\)
N°133918 \(\overline{(\overline{A} \cup B)} \cup \overline{(C \oplus A)}\)
N°133920 \(\overline{A} \cup\overline{(B \cup C)}\oplus A\)
N°134300 \(\overline{(\overline{A} \cup B)} \cup (C \oplus \overline{A})\)
N°134304 \(\overline{A} \cup\overline{(B \cup C)}\oplus \overline{A}\)
N°134688 \(\overline{A} \cup\overline{(B \cup C)}\oplus B\)
N°135072 \(\overline{A} \cup\overline{(B \cup C)}\oplus \overline{B}\)
N°135456 \(\overline{A} \cup\overline{(B \cup C)}\oplus C\)
N°135840 \(\overline{A} \cup\overline{(B \cup C)}\oplus \overline{C}\)
N°136220 \(\overline{(\overline{A} \cup B)} \cup (\overline{C} \oplus A)\)
N°136606 \(\overline{(\overline{A} \cup B)} \cup \overline{(\overline{C} \oplus \overline{A})}\)
N°147791 \(\overline{A} \cup(\overline{B} - C)\oplus A\)
N°148175 \(\overline{A} \cup(\overline{B} - C)\oplus \overline{A}\)
N°148559 \(\overline{A} \cup(\overline{B} - C)\oplus B\)
N°148943 \(\overline{A} \cup(\overline{B} - C)\oplus \overline{B}\)
N°149327 \(\overline{A} \cup(\overline{B} - C)\oplus C\)
N°149711 \(\overline{A} \cup(\overline{B} - C)\oplus \overline{C}\)
N°153217 \((\overline{A} \oplus C) \cup (A - B)\)
N°153583 \((\overline{A} \oplus C) \cup (A \cap \overline{B})\)
N°155511 \((\overline{A} \oplus C) \cup \overline{(\overline{A} \cup B)}\)
N°157431 \((\overline{A} \oplus C) \cup \overline{(B \cup \overline{A})}\)
N°158583 \((\overline{A} \oplus C) \cup \overline{(B \cup C)}\)
N°159343 \((\overline{A} \oplus C) \cup (\overline{B} \cap A)\)
N°159745 \((\overline{A} \oplus C) \cup (\overline{B} - \overline{A})\)
N°160897 \((\overline{A} \oplus C) \cup (\overline{B} - C)\)
N°161263 \((\overline{A} \oplus C) \cup (\overline{B} \cap \overline{C})\)
N°162423 \((\overline{A} \oplus C) \cup \overline{(C \cup B)}\)
N°164737 \((\overline{A} \oplus C) \cup (\overline{C} - B)\)
N°165103 \((\overline{A} \oplus C) \cup (\overline{C} \cap \overline{B})\)
N°167042 \(\overline{(\overline{A} \oplus \overline{C})} \cup (A - B)\)
N°167408 \(\overline{(\overline{A} \oplus \overline{C})} \cup (A \cap \overline{B})\)
N°169336 \(\overline{(\overline{A} \oplus \overline{C})} \cup \overline{(\overline{A} \cup B)}\)
N°171256 \(\overline{(\overline{A} \oplus \overline{C})} \cup \overline{(B \cup \overline{A})}\)
N°172408 \(\overline{(\overline{A} \oplus \overline{C})} \cup \overline{(B \cup C)}\)
N°173168 \(\overline{(\overline{A} \oplus \overline{C})} \cup (\overline{B} \cap A)\)
N°173570 \(\overline{(\overline{A} \oplus \overline{C})} \cup (\overline{B} - \overline{A})\)
N°174722 \(\overline{(\overline{A} \oplus \overline{C})} \cup (\overline{B} - C)\)
N°175088 \(\overline{(\overline{A} \oplus \overline{C})} \cup (\overline{B} \cap \overline{C})\)
N°176248 \(\overline{(\overline{A} \oplus \overline{C})} \cup \overline{(C \cup B)}\)
N°178562 \(\overline{(\overline{A} \oplus \overline{C})} \cup (\overline{C} - B)\)
N°178928 \(\overline{(\overline{A} \oplus \overline{C})} \cup (\overline{C} \cap \overline{B})\)
N°195358 \(\overline{(B \cup \overline{A})} \cup \overline{(A \oplus C)}\)
N°195740 \(\overline{(B \cup \overline{A})} \cup (A \oplus \overline{C})\)
N°197660 \(\overline{(B \cup \overline{A})} \cup (\overline{A} \oplus C)\)
N°198046 \(\overline{(B \cup \overline{A})} \cup \overline{(\overline{A} \oplus \overline{C})}\)
N°203038 \(\overline{(B \cup \overline{A})} \cup \overline{(C \oplus A)}\)
N°203420 \(\overline{(B \cup \overline{A})} \cup (C \oplus \overline{A})\)
N°205340 \(\overline{(B \cup \overline{A})} \cup (\overline{C} \oplus A)\)
N°205726 \(\overline{(B \cup \overline{A})} \cup \overline{(\overline{C} \oplus \overline{A})}\)
N°236830 \(\overline{(B \cup C)} \cup \overline{(A \oplus C)}\)
N°237212 \(\overline{(B \cup C)} \cup (A \oplus \overline{C})\)
N°239132 \(\overline{(B \cup C)} \cup (\overline{A} \oplus C)\)
N°239518 \(\overline{(B \cup C)} \cup \overline{(\overline{A} \oplus \overline{C})}\)
N°244510 \(\overline{(B \cup C)} \cup \overline{(C \oplus A)}\)
N°244892 \(\overline{(B \cup C)} \cup (C \oplus \overline{A})\)
N°246812 \(\overline{(B \cup C)} \cup (\overline{C} \oplus A)\)
N°247198 \(\overline{(B \cup C)} \cup \overline{(\overline{C} \oplus \overline{A})}\)
N°264381 \((\overline{B} \cap A) \cup \overline{(A \oplus C)}\)
N°264763 \((\overline{B} \cap A) \cup (A \oplus \overline{C})\)
N°266683 \((\overline{B} \cap A) \cup (\overline{A} \oplus C)\)
N°267069 \((\overline{B} \cap A) \cup \overline{(\overline{A} \oplus \overline{C})}\)
N°272061 \((\overline{B} \cap A) \cup \overline{(C \oplus A)}\)
N°272443 \((\overline{B} \cap A) \cup (C \oplus \overline{A})\)
N°274363 \((\overline{B} \cap A) \cup (\overline{C} \oplus A)\)
N°274749 \((\overline{B} \cap A) \cup \overline{(\overline{C} \oplus \overline{A})}\)
N°278493 \((\overline{B} - \overline{A}) \cup \overline{(A \oplus C)}\)
N°278875 \((\overline{B} - \overline{A}) \cup (A \oplus \overline{C})\)
N°280795 \((\overline{B} - \overline{A}) \cup (\overline{A} \oplus C)\)
N°281181 \((\overline{B} - \overline{A}) \cup \overline{(\overline{A} \oplus \overline{C})}\)
N°286173 \((\overline{B} - \overline{A}) \cup \overline{(C \oplus A)}\)
N°286555 \((\overline{B} - \overline{A}) \cup (C \oplus \overline{A})\)
N°288475 \((\overline{B} - \overline{A}) \cup (\overline{C} \oplus A)\)
N°288861 \((\overline{B} - \overline{A}) \cup \overline{(\overline{C} \oplus \overline{A})}\)
N°319965 \((\overline{B} - C) \cup \overline{(A \oplus C)}\)
N°320347 \((\overline{B} - C) \cup (A \oplus \overline{C})\)
N°322267 \((\overline{B} - C) \cup (\overline{A} \oplus C)\)
N°322653 \((\overline{B} - C) \cup \overline{(\overline{A} \oplus \overline{C})}\)
N°327645 \((\overline{B} - C) \cup \overline{(C \oplus A)}\)
N°328027 \((\overline{B} - C) \cup (C \oplus \overline{A})\)
N°329947 \((\overline{B} - C) \cup (\overline{C} \oplus A)\)
N°330333 \((\overline{B} - C) \cup \overline{(\overline{C} \oplus \overline{A})}\)
N°333501 \((\overline{B} \cap \overline{C}) \cup \overline{(A \oplus C)}\)
N°333883 \((\overline{B} \cap \overline{C}) \cup (A \oplus \overline{C})\)
N°335803 \((\overline{B} \cap \overline{C}) \cup (\overline{A} \oplus C)\)
N°336189 \((\overline{B} \cap \overline{C}) \cup \overline{(\overline{A} \oplus \overline{C})}\)
N°341181 \((\overline{B} \cap \overline{C}) \cup \overline{(C \oplus A)}\)
N°341563 \((\overline{B} \cap \overline{C}) \cup (C \oplus \overline{A})\)
N°343483 \((\overline{B} \cap \overline{C}) \cup (\overline{C} \oplus A)\)
N°343869 \((\overline{B} \cap \overline{C}) \cup \overline{(\overline{C} \oplus \overline{A})}\)
N°346754 \(\overline{(C \oplus A)} \cup (A - B)\)
N°347120 \(\overline{(C \oplus A)} \cup (A \cap \overline{B})\)
N°349048 \(\overline{(C \oplus A)} \cup \overline{(\overline{A} \cup B)}\)
N°350968 \(\overline{(C \oplus A)} \cup \overline{(B \cup \overline{A})}\)
N°352120 \(\overline{(C \oplus A)} \cup \overline{(B \cup C)}\)
N°352880 \(\overline{(C \oplus A)} \cup (\overline{B} \cap A)\)
N°353282 \(\overline{(C \oplus A)} \cup (\overline{B} - \overline{A})\)
N°354434 \(\overline{(C \oplus A)} \cup (\overline{B} - C)\)
N°354800 \(\overline{(C \oplus A)} \cup (\overline{B} \cap \overline{C})\)
N°355960 \(\overline{(C \oplus A)} \cup \overline{(C \cup B)}\)
N°358274 \(\overline{(C \oplus A)} \cup (\overline{C} - B)\)
N°358640 \(\overline{(C \oplus A)} \cup (\overline{C} \cap \overline{B})\)
N°360577 \((C \oplus \overline{A}) \cup (A - B)\)
N°360943 \((C \oplus \overline{A}) \cup (A \cap \overline{B})\)
N°362871 \((C \oplus \overline{A}) \cup \overline{(\overline{A} \cup B)}\)
N°364791 \((C \oplus \overline{A}) \cup \overline{(B \cup \overline{A})}\)
N°365943 \((C \oplus \overline{A}) \cup \overline{(B \cup C)}\)
N°366703 \((C \oplus \overline{A}) \cup (\overline{B} \cap A)\)
N°367105 \((C \oplus \overline{A}) \cup (\overline{B} - \overline{A})\)
N°368257 \((C \oplus \overline{A}) \cup (\overline{B} - C)\)
N°368623 \((C \oplus \overline{A}) \cup (\overline{B} \cap \overline{C})\)
N°369783 \((C \oplus \overline{A}) \cup \overline{(C \cup B)}\)
N°372097 \((C \oplus \overline{A}) \cup (\overline{C} - B)\)
N°372463 \((C \oplus \overline{A}) \cup (\overline{C} \cap \overline{B})\)
N°375070 \(\overline{(C \cup B)} \cup \overline{(A \oplus C)}\)
N°375452 \(\overline{(C \cup B)} \cup (A \oplus \overline{C})\)
N°375840 \(C \cup\overline{(B \cup \overline{A})}\oplus A\)
N°376224 \(C \cup\overline{(B \cup \overline{A})}\oplus \overline{A}\)
N°376608 \(C \cup\overline{(B \cup \overline{A})}\oplus B\)
N°376992 \(C \cup\overline{(B \cup \overline{A})}\oplus \overline{B}\)
N°377372 \(\overline{(C \cup B)} \cup (\overline{A} \oplus C)\)
N°377376 \(C \cup\overline{(B \cup \overline{A})}\oplus C\)
N°377758 \(\overline{(C \cup B)} \cup \overline{(\overline{A} \oplus \overline{C})}\)
N°377760 \(C \cup\overline{(B \cup \overline{A})}\oplus \overline{C}\)
N°382750 \(\overline{(C \cup B)} \cup \overline{(C \oplus A)}\)
N°383132 \(\overline{(C \cup B)} \cup (C \oplus \overline{A})\)
N°385052 \(\overline{(C \cup B)} \cup (\overline{C} \oplus A)\)
N°385438 \(\overline{(C \cup B)} \cup \overline{(\overline{C} \oplus \overline{A})}\)
N°389711 \(C \cup(\overline{B} - \overline{A})\oplus A\)
N°390095 \(C \cup(\overline{B} - \overline{A})\oplus \overline{A}\)
N°390479 \(C \cup(\overline{B} - \overline{A})\oplus B\)
N°390863 \(C \cup(\overline{B} - \overline{A})\oplus \overline{B}\)
N°391247 \(C \cup(\overline{B} - \overline{A})\oplus C\)
N°391631 \(C \cup(\overline{B} - \overline{A})\oplus \overline{C}\)
N°429697 \((\overline{C} \oplus A) \cup (A - B)\)
N°430063 \((\overline{C} \oplus A) \cup (A \cap \overline{B})\)
N°431991 \((\overline{C} \oplus A) \cup \overline{(\overline{A} \cup B)}\)
N°433911 \((\overline{C} \oplus A) \cup \overline{(B \cup \overline{A})}\)
N°435063 \((\overline{C} \oplus A) \cup \overline{(B \cup C)}\)
N°435823 \((\overline{C} \oplus A) \cup (\overline{B} \cap A)\)
N°436225 \((\overline{C} \oplus A) \cup (\overline{B} - \overline{A})\)
N°437377 \((\overline{C} \oplus A) \cup (\overline{B} - C)\)
N°437743 \((\overline{C} \oplus A) \cup (\overline{B} \cap \overline{C})\)
N°438903 \((\overline{C} \oplus A) \cup \overline{(C \cup B)}\)
N°441217 \((\overline{C} \oplus A) \cup (\overline{C} - B)\)
N°441583 \((\overline{C} \oplus A) \cup (\overline{C} \cap \overline{B})\)
N°443522 \(\overline{(\overline{C} \oplus \overline{A})} \cup (A - B)\)
N°443888 \(\overline{(\overline{C} \oplus \overline{A})} \cup (A \cap \overline{B})\)
N°445816 \(\overline{(\overline{C} \oplus \overline{A})} \cup \overline{(\overline{A} \cup B)}\)
N°447736 \(\overline{(\overline{C} \oplus \overline{A})} \cup \overline{(B \cup \overline{A})}\)
N°448888 \(\overline{(\overline{C} \oplus \overline{A})} \cup \overline{(B \cup C)}\)
N°449648 \(\overline{(\overline{C} \oplus \overline{A})} \cup (\overline{B} \cap A)\)
N°450050 \(\overline{(\overline{C} \oplus \overline{A})} \cup (\overline{B} - \overline{A})\)
N°451202 \(\overline{(\overline{C} \oplus \overline{A})} \cup (\overline{B} - C)\)
N°451568 \(\overline{(\overline{C} \oplus \overline{A})} \cup (\overline{B} \cap \overline{C})\)
N°452728 \(\overline{(\overline{C} \oplus \overline{A})} \cup \overline{(C \cup B)}\)
N°455042 \(\overline{(\overline{C} \oplus \overline{A})} \cup (\overline{C} - B)\)
N°455408 \(\overline{(\overline{C} \oplus \overline{A})} \cup (\overline{C} \cap \overline{B})\)
N°458205 \((\overline{C} - B) \cup \overline{(A \oplus C)}\)
N°458587 \((\overline{C} - B) \cup (A \oplus \overline{C})\)
N°460507 \((\overline{C} - B) \cup (\overline{A} \oplus C)\)
N°460893 \((\overline{C} - B) \cup \overline{(\overline{A} \oplus \overline{C})}\)
N°465885 \((\overline{C} - B) \cup \overline{(C \oplus A)}\)
N°466267 \((\overline{C} - B) \cup (C \oplus \overline{A})\)
N°468187 \((\overline{C} - B) \cup (\overline{C} \oplus A)\)
N°468573 \((\overline{C} - B) \cup \overline{(\overline{C} \oplus \overline{A})}\)
N°470184 \(\overline{C} \cap\overline{(\overline{B} \cap A)}\oplus A\)
N°470471 \(\overline{C} -(\overline{B} \cap A)\oplus A\)
N°470568 \(\overline{C} \cap\overline{(\overline{B} \cap A)}\oplus \overline{A}\)
N°470855 \(\overline{C} -(\overline{B} \cap A)\oplus \overline{A}\)
N°470952 \(\overline{C} \cap\overline{(\overline{B} \cap A)}\oplus B\)
N°471239 \(\overline{C} -(\overline{B} \cap A)\oplus B\)
N°471336 \(\overline{C} \cap\overline{(\overline{B} \cap A)}\oplus \overline{B}\)
N°471623 \(\overline{C} -(\overline{B} \cap A)\oplus \overline{B}\)
N°471720 \(\overline{C} \cap\overline{(\overline{B} \cap A)}\oplus C\)
N°471741 \((\overline{C} \cap \overline{B}) \cup \overline{(A \oplus C)}\)
N°472007 \(\overline{C} -(\overline{B} \cap A)\oplus C\)
N°472104 \(\overline{C} \cap\overline{(\overline{B} \cap A)}\oplus \overline{C}\)
N°472123 \((\overline{C} \cap \overline{B}) \cup (A \oplus \overline{C})\)
N°472391 \(\overline{C} -(\overline{B} \cap A)\oplus \overline{C}\)
N°474043 \((\overline{C} \cap \overline{B}) \cup (\overline{A} \oplus C)\)
N°474429 \((\overline{C} \cap \overline{B}) \cup \overline{(\overline{A} \oplus \overline{C})}\)
N°479421 \((\overline{C} \cap \overline{B}) \cup \overline{(C \oplus A)}\)
N°479803 \((\overline{C} \cap \overline{B}) \cup (C \oplus \overline{A})\)
N°481723 \((\overline{C} \cap \overline{B}) \cup (\overline{C} \oplus A)\)
N°482109 \((\overline{C} \cap \overline{B}) \cup \overline{(\overline{C} \oplus \overline{A})}\)