N°1259 \((A \cup B)\cup \overline{C}\)
N°1261 \(A \cup(B \cup \overline{C})\)
N°1578 \(A \cup\overline{(\overline{B} \cap C)}\)
N°1654 \(A \cup\overline{(\overline{B} - \overline{C})}\)
N°1846 \(A \cup\overline{(C - B)}\)
N°1898 \(A \cup\overline{(C \cap \overline{B})}\)
N°2219 \((A \cup \overline{C})\cup B\)
N°2221 \(A \cup(\overline{C} \cup B)\)
N°3596 \(\overline{(\overline{A} - B)}\cup \overline{C}\)
N°3932 \(\overline{(\overline{A} \cap \overline{B})}\cup \overline{C}\)
N°4124 \(\overline{(\overline{A} \cap C)}\cup B\)
N°4556 \(\overline{(\overline{A} - \overline{C})}\cup B\)
N°5099 \((B \cup A)\cup \overline{C}\)
N°5101 \(B \cup(A \cup \overline{C})\)
N°5418 \(B \cup\overline{(\overline{A} \cap C)}\)
N°5494 \(B \cup\overline{(\overline{A} - \overline{C})}\)
N°6326 \(B \cup\overline{(C - A)}\)
N°6378 \(B \cup\overline{(C \cap \overline{A})}\)
N°6699 \((B \cup \overline{C})\cup A\)
N°6701 \(B \cup(\overline{C} \cup A)\)
N°7436 \(\overline{(\overline{B} - A)}\cup \overline{C}\)
N°7772 \(\overline{(\overline{B} \cap \overline{A})}\cup \overline{C}\)
N°8604 \(\overline{(\overline{B} \cap C)}\cup A\)
N°9036 \(\overline{(\overline{B} - \overline{C})}\cup A\)
N°9548 \(\overline{(C - A)}\cup B\)
N°9884 \(\overline{(C \cap \overline{A})}\cup B\)
N°10188 \(\overline{(C - B)}\cup A\)
N°10524 \(\overline{(C \cap \overline{B})}\cup A\)
N°11819 \((\overline{C} \cup A)\cup B\)
N°11821 \(\overline{C} \cup(A \cup B)\)
N°12214 \(\overline{C} \cup\overline{(\overline{A} - B)}\)
N°12266 \(\overline{C} \cup\overline{(\overline{A} \cap \overline{B})}\)
N°12459 \((\overline{C} \cup B)\cup A\)
N°12461 \(\overline{C} \cup(B \cup A)\)
N°12854 \(\overline{C} \cup\overline{(\overline{B} - A)}\)
N°12906 \(\overline{C} \cup\overline{(\overline{B} \cap \overline{A})}\)
N°20533 \((A \cap A) \cup (B \cup \overline{C})\)
N°20629 \((A \cup A) \cup (B \cup \overline{C})\)
N°22449 \((A \cap A) \cup \overline{(\overline{B} \cap C)}\)
N°22545 \((A \cup A) \cup \overline{(\overline{B} \cap C)}\)
N°22851 \((A \cap A) \cup \overline{(\overline{B} - \overline{C})}\)
N°22947 \((A \cup A) \cup \overline{(\overline{B} - \overline{C})}\)
N°24003 \((A \cap A) \cup \overline{(C - B)}\)
N°24099 \((A \cup A) \cup \overline{(C - B)}\)
N°24369 \((A \cap A) \cup \overline{(C \cap \overline{B})}\)
N°24465 \((A \cup A) \cup \overline{(C \cap \overline{B})}\)
N°26293 \((A \cap A) \cup (\overline{C} \cup B)\)
N°26389 \((A \cup A) \cup (\overline{C} \cup B)\)
N°34645 \((A - \overline{A}) \cup (B \cup \overline{C})\)
N°36561 \((A - \overline{A}) \cup \overline{(\overline{B} \cap C)}\)
N°36963 \((A - \overline{A}) \cup \overline{(\overline{B} - \overline{C})}\)
N°38115 \((A - \overline{A}) \cup \overline{(C - B)}\)
N°38481 \((A - \overline{A}) \cup \overline{(C \cap \overline{B})}\)
N°40405 \((A - \overline{A}) \cup (\overline{C} \cup B)\)
N°43287 \((A \cup B) \cup \overline{(A \cup C)}\)
N°43293 \((A \cup B) \cup \overline{(A \oplus C)}\)
N°43669 \((A \cup B) \cup (A \cup \overline{C})\)
N°43675 \((A \cup B) \cup (A \oplus \overline{C})\)
N°43765 \((A \oplus B) \cup (A \cup \overline{C})\)
N°45585 \((A \cup B) \cup \overline{(\overline{A} \cap C)}\)
N°45595 \((A \cup B) \cup (\overline{A} \oplus C)\)
N°45601 \((A \cup B) \cup (\overline{A} - C)\)
N°45681 \((A \oplus B) \cup \overline{(\overline{A} \cap C)}\)
N°45967 \((A \cup B) \cup (\overline{A} \cap \overline{C})\)
N°45981 \((A \cup B) \cup \overline{(\overline{A} \oplus \overline{C})}\)
N°45987 \((A \cup B) \cup \overline{(\overline{A} - \overline{C})}\)
N°46083 \((A \oplus B) \cup \overline{(\overline{A} - \overline{C})}\)
N°47895 \((A \cup B) \cup \overline{(B \cup C)}\)
N°47901 \((A \cup B) \cup \overline{(B \oplus C)}\)
N°48277 \((A \cup B) \cup (B \cup \overline{C})\)
N°48283 \((A \cup B) \cup (B \oplus \overline{C})\)
N°48373 \((A \oplus B) \cup (B \cup \overline{C})\)
N°48469 \((A - B) \cup (B \cup \overline{C})\)
N°50193 \((A \cup B) \cup \overline{(\overline{B} \cap C)}\)
N°50203 \((A \cup B) \cup (\overline{B} \oplus C)\)
N°50209 \((A \cup B) \cup (\overline{B} - C)\)
N°50289 \((A \oplus B) \cup \overline{(\overline{B} \cap C)}\)
N°50385 \((A - B) \cup \overline{(\overline{B} \cap C)}\)
N°50575 \((A \cup B) \cup (\overline{B} \cap \overline{C})\)
N°50589 \((A \cup B) \cup \overline{(\overline{B} \oplus \overline{C})}\)
N°50595 \((A \cup B) \cup \overline{(\overline{B} - \overline{C})}\)
N°50691 \((A \oplus B) \cup \overline{(\overline{B} - \overline{C})}\)
N°50787 \((A - B) \cup \overline{(\overline{B} - \overline{C})}\)
N°50967 \((A \cup B) \cup \overline{(C \cup A)}\)
N°50973 \((A \cup B) \cup \overline{(C \oplus A)}\)
N°50979 \((A \cup B) \cup \overline{(C - A)}\)
N°51075 \((A \oplus B) \cup \overline{(C - A)}\)
N°51345 \((A \cup B) \cup \overline{(C \cap \overline{A})}\)
N°51355 \((A \cup B) \cup (C \oplus \overline{A})\)
N°51441 \((A \oplus B) \cup \overline{(C \cap \overline{A})}\)
N°51735 \((A \cup B) \cup \overline{(C \cup B)}\)
N°51741 \((A \cup B) \cup \overline{(C \oplus B)}\)
N°51747 \((A \cup B) \cup \overline{(C - B)}\)
N°51843 \((A \oplus B) \cup \overline{(C - B)}\)
N°51939 \((A - B) \cup \overline{(C - B)}\)
N°52113 \((A \cup B) \cup \overline{(C \cap \overline{B})}\)
N°52123 \((A \cup B) \cup (C \oplus \overline{B})\)
N°52209 \((A \oplus B) \cup \overline{(C \cap \overline{B})}\)
N°52305 \((A - B) \cup \overline{(C \cap \overline{B})}\)
N°52497 \((A \cup B) \cup \overline{(C \cap C)}\)
N°52503 \((A \cup B) \cup \overline{(C \cup C)}\)
N°52899 \((A \cup B) \cup \overline{(C - \overline{C})}\)
N°53269 \((A \cup B) \cup (\overline{C} \cup A)\)
N°53273 \(A \cup(B \cup \overline{C})\cup A\)
N°53275 \((A \cup B) \cup (\overline{C} \oplus A)\)
N°53281 \((A \cup B) \cup (\overline{C} - A)\)
N°53297 \(A \cup(B \oplus \overline{C})\cup A\)
N°53321 \(A \cup(B - \overline{C})\cup A\)
N°53365 \((A \oplus B) \cup (\overline{C} \cup A)\)
N°53647 \((A \cup B) \cup (\overline{C} \cap \overline{A})\)
N°53657 \(A \cup(B \cup \overline{C})\cup \overline{A}\)
N°53661 \((A \cup B) \cup \overline{(\overline{C} \oplus \overline{A})}\)
N°53681 \(A \cup(B \oplus \overline{C})\cup \overline{A}\)
N°53705 \(A \cup(B - \overline{C})\cup \overline{A}\)
N°54037 \((A \cup B) \cup (\overline{C} \cup B)\)
N°54041 \(A \cup(B \cup \overline{C})\cup B\)
N°54043 \((A \cup B) \cup (\overline{C} \oplus B)\)
N°54049 \((A \cup B) \cup (\overline{C} - B)\)
N°54065 \(A \cup(B \oplus \overline{C})\cup B\)
N°54089 \(A \cup(B - \overline{C})\cup B\)
N°54133 \((A \oplus B) \cup (\overline{C} \cup B)\)
N°54229 \((A - B) \cup (\overline{C} \cup B)\)
N°54415 \((A \cup B) \cup (\overline{C} \cap \overline{B})\)
N°54425 \(A \cup(B \cup \overline{C})\cup \overline{B}\)
N°54429 \((A \cup B) \cup \overline{(\overline{C} \oplus \overline{B})}\)
N°54449 \(A \cup(B \oplus \overline{C})\cup \overline{B}\)
N°54473 \(A \cup(B - \overline{C})\cup \overline{B}\)
N°54809 \(A \cup(B \cup \overline{C})\cup C\)
N°54817 \((A \cup B) \cup (\overline{C} - C)\)
N°54833 \(A \cup(B \oplus \overline{C})\cup C\)
N°54857 \(A \cup(B - \overline{C})\cup C\)
N°55183 \((A \cup B) \cup (\overline{C} \cap \overline{C})\)
N°55189 \((A \cup B) \cup (\overline{C} \cup \overline{C})\)
N°55193 \(A \cup(B \cup \overline{C})\cup \overline{C}\)
N°55217 \(A \cup(B \oplus \overline{C})\cup \overline{C}\)
N°55241 \(A \cup(B - \overline{C})\cup \overline{C}\)
N°57494 \(\overline{(A \cup \overline{B})} \cup (A \cup \overline{C})\)
N°57590 \(\overline{(A \oplus \overline{B})} \cup (A \cup \overline{C})\)
N°59410 \(\overline{(A \cup \overline{B})} \cup \overline{(\overline{A} \cap C)}\)
N°59506 \(\overline{(A \oplus \overline{B})} \cup \overline{(\overline{A} \cap C)}\)
N°59812 \(\overline{(A \cup \overline{B})} \cup \overline{(\overline{A} - \overline{C})}\)
N°59908 \(\overline{(A \oplus \overline{B})} \cup \overline{(\overline{A} - \overline{C})}\)
N°62005 \((A \cap \overline{B}) \cup (B \cup \overline{C})\)
N°62198 \(\overline{(A \oplus \overline{B})} \cup (B \cup \overline{C})\)
N°63921 \((A \cap \overline{B}) \cup \overline{(\overline{B} \cap C)}\)
N°64114 \(\overline{(A \oplus \overline{B})} \cup \overline{(\overline{B} \cap C)}\)
N°64323 \((A \cap \overline{B}) \cup \overline{(\overline{B} - \overline{C})}\)
N°64516 \(\overline{(A \oplus \overline{B})} \cup \overline{(\overline{B} - \overline{C})}\)
N°64804 \(\overline{(A \cup \overline{B})} \cup \overline{(C - A)}\)
N°64900 \(\overline{(A \oplus \overline{B})} \cup \overline{(C - A)}\)
N°65170 \(\overline{(A \cup \overline{B})} \cup \overline{(C \cap \overline{A})}\)
N°65266 \(\overline{(A \oplus \overline{B})} \cup \overline{(C \cap \overline{A})}\)
N°65475 \((A \cap \overline{B}) \cup \overline{(C - B)}\)
N°65668 \(\overline{(A \oplus \overline{B})} \cup \overline{(C - B)}\)
N°65841 \((A \cap \overline{B}) \cup \overline{(C \cap \overline{B})}\)
N°66034 \(\overline{(A \oplus \overline{B})} \cup \overline{(C \cap \overline{B})}\)
N°67094 \(\overline{(A \cup \overline{B})} \cup (\overline{C} \cup A)\)
N°67098 \(A \cup\overline{(\overline{B} \cup \overline{C})}\cup A\)
N°67122 \(A \cup\overline{(\overline{B} \oplus \overline{C})}\cup A\)
N°67146 \(A \cup\overline{(\overline{B} - \overline{C})}\cup A\)
N°67190 \(\overline{(A \oplus \overline{B})} \cup (\overline{C} \cup A)\)
N°67482 \(A \cup\overline{(\overline{B} \cup \overline{C})}\cup \overline{A}\)
N°67506 \(A \cup\overline{(\overline{B} \oplus \overline{C})}\cup \overline{A}\)
N°67530 \(A \cup\overline{(\overline{B} - \overline{C})}\cup \overline{A}\)
N°67765 \((A \cap \overline{B}) \cup (\overline{C} \cup B)\)
N°67866 \(A \cup\overline{(\overline{B} \cup \overline{C})}\cup B\)
N°67890 \(A \cup\overline{(\overline{B} \oplus \overline{C})}\cup B\)
N°67914 \(A \cup\overline{(\overline{B} - \overline{C})}\cup B\)
N°67958 \(\overline{(A \oplus \overline{B})} \cup (\overline{C} \cup B)\)
N°68250 \(A \cup\overline{(\overline{B} \cup \overline{C})}\cup \overline{B}\)
N°68274 \(A \cup\overline{(\overline{B} \oplus \overline{C})}\cup \overline{B}\)
N°68298 \(A \cup\overline{(\overline{B} - \overline{C})}\cup \overline{B}\)
N°68634 \(A \cup\overline{(\overline{B} \cup \overline{C})}\cup C\)
N°68658 \(A \cup\overline{(\overline{B} \oplus \overline{C})}\cup C\)
N°68682 \(A \cup\overline{(\overline{B} - \overline{C})}\cup C\)
N°69018 \(A \cup\overline{(\overline{B} \cup \overline{C})}\cup \overline{C}\)
N°69042 \(A \cup\overline{(\overline{B} \oplus \overline{C})}\cup \overline{C}\)
N°69066 \(A \cup\overline{(\overline{B} - \overline{C})}\cup \overline{C}\)
N°70166 \(\overline{(A \cup C)} \cup (A \cup B)\)
N°70262 \(\overline{(A \oplus C)} \cup (A \cup B)\)
N°72484 \(\overline{(A \cup C)} \cup \overline{(\overline{A} - B)}\)
N°72580 \(\overline{(A \oplus C)} \cup \overline{(\overline{A} - B)}\)
N°72850 \(\overline{(A \cup C)} \cup \overline{(\overline{A} \cap \overline{B})}\)
N°72946 \(\overline{(A \oplus C)} \cup \overline{(\overline{A} \cap \overline{B})}\)
N°74006 \(\overline{(A \cup C)} \cup (B \cup A)\)
N°74010 \(A \cup\overline{(C \cup B)}\cup A\)
N°74034 \(A \cup\overline{(C \oplus B)}\cup A\)
N°74058 \(A \cup\overline{(C - B)}\cup A\)
N°74102 \(\overline{(A \oplus C)} \cup (B \cup A)\)
N°74394 \(A \cup\overline{(C \cup B)}\cup \overline{A}\)
N°74418 \(A \cup\overline{(C \oplus B)}\cup \overline{A}\)
N°74442 \(A \cup\overline{(C - B)}\cup \overline{A}\)
N°74778 \(A \cup\overline{(C \cup B)}\cup B\)
N°74802 \(A \cup\overline{(C \oplus B)}\cup B\)
N°74826 \(A \cup\overline{(C - B)}\cup B\)
N°75162 \(A \cup\overline{(C \cup B)}\cup \overline{B}\)
N°75186 \(A \cup\overline{(C \oplus B)}\cup \overline{B}\)
N°75210 \(A \cup\overline{(C - B)}\cup \overline{B}\)
N°75546 \(A \cup\overline{(C \cup B)}\cup C\)
N°75570 \(A \cup\overline{(C \oplus B)}\cup C\)
N°75594 \(A \cup\overline{(C - B)}\cup C\)
N°75829 \((A \cap C) \cup (B \cup \overline{C})\)
N°75930 \(A \cup\overline{(C \cup B)}\cup \overline{C}\)
N°75954 \(A \cup\overline{(C \oplus B)}\cup \overline{C}\)
N°75978 \(A \cup\overline{(C - B)}\cup \overline{C}\)
N°76022 \(\overline{(A \oplus C)} \cup (B \cup \overline{C})\)
N°76324 \(\overline{(A \cup C)} \cup \overline{(\overline{B} - A)}\)
N°76420 \(\overline{(A \oplus C)} \cup \overline{(\overline{B} - A)}\)
N°76690 \(\overline{(A \cup C)} \cup \overline{(\overline{B} \cap \overline{A})}\)
N°76786 \(\overline{(A \oplus C)} \cup \overline{(\overline{B} \cap \overline{A})}\)
N°77745 \((A \cap C) \cup \overline{(\overline{B} \cap C)}\)
N°77938 \(\overline{(A \oplus C)} \cup \overline{(\overline{B} \cap C)}\)
N°78147 \((A \cap C) \cup \overline{(\overline{B} - \overline{C})}\)
N°78340 \(\overline{(A \oplus C)} \cup \overline{(\overline{B} - \overline{C})}\)
N°79299 \((A \cap C) \cup \overline{(C - B)}\)
N°79492 \(\overline{(A \oplus C)} \cup \overline{(C - B)}\)
N°79665 \((A \cap C) \cup \overline{(C \cap \overline{B})}\)
N°79858 \(\overline{(A \oplus C)} \cup \overline{(C \cap \overline{B})}\)
N°81589 \((A \cap C) \cup (\overline{C} \cup B)\)
N°81782 \(\overline{(A \oplus C)} \cup (\overline{C} \cup B)\)
N°83989 \((A \cup \overline{C}) \cup (A \cup B)\)
N°83995 \((A \cup \overline{C}) \cup (A \oplus B)\)
N°84085 \((A \oplus \overline{C}) \cup (A \cup B)\)
N°84375 \((A \cup \overline{C}) \cup \overline{(A \cup \overline{B})}\)
N°84381 \((A \cup \overline{C}) \cup \overline{(A \oplus \overline{B})}\)
N°86287 \((A \cup \overline{C}) \cup (\overline{A} \cap B)\)
N°86301 \((A \cup \overline{C}) \cup \overline{(\overline{A} \oplus B)}\)
N°86307 \((A \cup \overline{C}) \cup \overline{(\overline{A} - B)}\)
N°86403 \((A \oplus \overline{C}) \cup \overline{(\overline{A} - B)}\)
N°86673 \((A \cup \overline{C}) \cup \overline{(\overline{A} \cap \overline{B})}\)
N°86683 \((A \cup \overline{C}) \cup (\overline{A} \oplus \overline{B})\)
N°86689 \((A \cup \overline{C}) \cup (\overline{A} - \overline{B})\)
N°86769 \((A \oplus \overline{C}) \cup \overline{(\overline{A} \cap \overline{B})}\)
N°87829 \((A \cup \overline{C}) \cup (B \cup A)\)
N°87833 \(A \cup(\overline{C} \cup B)\cup A\)
N°87835 \((A \cup \overline{C}) \cup (B \oplus A)\)
N°87841 \((A \cup \overline{C}) \cup (B - A)\)
N°87857 \(A \cup(\overline{C} \oplus B)\cup A\)
N°87881 \(A \cup(\overline{C} - B)\cup A\)
N°87925 \((A \oplus \overline{C}) \cup (B \cup A)\)
N°88207 \((A \cup \overline{C}) \cup (B \cap \overline{A})\)
N°88217 \(A \cup(\overline{C} \cup B)\cup \overline{A}\)
N°88221 \((A \cup \overline{C}) \cup \overline{(B \oplus \overline{A})}\)
N°88241 \(A \cup(\overline{C} \oplus B)\cup \overline{A}\)
N°88265 \(A \cup(\overline{C} - B)\cup \overline{A}\)
N°88591 \((A \cup \overline{C}) \cup (B \cap B)\)
N°88597 \((A \cup \overline{C}) \cup (B \cup B)\)
N°88601 \(A \cup(\overline{C} \cup B)\cup B\)
N°88625 \(A \cup(\overline{C} \oplus B)\cup B\)
N°88649 \(A \cup(\overline{C} - B)\cup B\)
N°88985 \(A \cup(\overline{C} \cup B)\cup \overline{B}\)
N°88993 \((A \cup \overline{C}) \cup (B - \overline{B})\)
N°89009 \(A \cup(\overline{C} \oplus B)\cup \overline{B}\)
N°89033 \(A \cup(\overline{C} - B)\cup \overline{B}\)
N°89359 \((A \cup \overline{C}) \cup (B \cap C)\)
N°89369 \(A \cup(\overline{C} \cup B)\cup C\)
N°89373 \((A \cup \overline{C}) \cup \overline{(B \oplus C)}\)
N°89393 \(A \cup(\overline{C} \oplus B)\cup C\)
N°89417 \(A \cup(\overline{C} - B)\cup C\)
N°89749 \((A \cup \overline{C}) \cup (B \cup \overline{C})\)
N°89753 \(A \cup(\overline{C} \cup B)\cup \overline{C}\)
N°89755 \((A \cup \overline{C}) \cup (B \oplus \overline{C})\)
N°89761 \((A \cup \overline{C}) \cup (B - \overline{C})\)
N°89777 \(A \cup(\overline{C} \oplus B)\cup \overline{C}\)
N°89801 \(A \cup(\overline{C} - B)\cup \overline{C}\)
N°89845 \((A \oplus \overline{C}) \cup (B \cup \overline{C})\)
N°89941 \((A - \overline{C}) \cup (B \cup \overline{C})\)
N°90135 \((A \cup \overline{C}) \cup \overline{(\overline{B} \cup A)}\)
N°90141 \((A \cup \overline{C}) \cup \overline{(\overline{B} \oplus A)}\)
N°90147 \((A \cup \overline{C}) \cup \overline{(\overline{B} - A)}\)
N°90243 \((A \oplus \overline{C}) \cup \overline{(\overline{B} - A)}\)
N°90513 \((A \cup \overline{C}) \cup \overline{(\overline{B} \cap \overline{A})}\)
N°90523 \((A \cup \overline{C}) \cup (\overline{B} \oplus \overline{A})\)
N°90609 \((A \oplus \overline{C}) \cup \overline{(\overline{B} \cap \overline{A})}\)
N°90915 \((A \cup \overline{C}) \cup \overline{(\overline{B} - B)}\)
N°91281 \((A \cup \overline{C}) \cup \overline{(\overline{B} \cap \overline{B})}\)
N°91287 \((A \cup \overline{C}) \cup \overline{(\overline{B} \cup \overline{B})}\)
N°91665 \((A \cup \overline{C}) \cup \overline{(\overline{B} \cap C)}\)
N°91675 \((A \cup \overline{C}) \cup (\overline{B} \oplus C)\)
N°91761 \((A \oplus \overline{C}) \cup \overline{(\overline{B} \cap C)}\)
N°91857 \((A - \overline{C}) \cup \overline{(\overline{B} \cap C)}\)
N°92055 \((A \cup \overline{C}) \cup \overline{(\overline{B} \cup \overline{C})}\)
N°92061 \((A \cup \overline{C}) \cup \overline{(\overline{B} \oplus \overline{C})}\)
N°92067 \((A \cup \overline{C}) \cup \overline{(\overline{B} - \overline{C})}\)
N°92163 \((A \oplus \overline{C}) \cup \overline{(\overline{B} - \overline{C})}\)
N°92259 \((A - \overline{C}) \cup \overline{(\overline{B} - \overline{C})}\)
N°93199 \((A \cup \overline{C}) \cup (C \cap B)\)
N°93213 \((A \cup \overline{C}) \cup \overline{(C \oplus B)}\)
N°93219 \((A \cup \overline{C}) \cup \overline{(C - B)}\)
N°93315 \((A \oplus \overline{C}) \cup \overline{(C - B)}\)
N°93411 \((A - \overline{C}) \cup \overline{(C - B)}\)
N°93585 \((A \cup \overline{C}) \cup \overline{(C \cap \overline{B})}\)
N°93595 \((A \cup \overline{C}) \cup (C \oplus \overline{B})\)
N°93601 \((A \cup \overline{C}) \cup (C - \overline{B})\)
N°93681 \((A \oplus \overline{C}) \cup \overline{(C \cap \overline{B})}\)
N°93777 \((A - \overline{C}) \cup \overline{(C \cap \overline{B})}\)
N°95509 \((A \cup \overline{C}) \cup (\overline{C} \cup B)\)
N°95515 \((A \cup \overline{C}) \cup (\overline{C} \oplus B)\)
N°95605 \((A \oplus \overline{C}) \cup (\overline{C} \cup B)\)
N°95701 \((A - \overline{C}) \cup (\overline{C} \cup B)\)
N°95895 \((A \cup \overline{C}) \cup \overline{(\overline{C} \cup \overline{B})}\)
N°95901 \((A \cup \overline{C}) \cup \overline{(\overline{C} \oplus \overline{B})}\)
N°103766 \(\overline{(\overline{A} - A)} \cup (B \cup \overline{C})\)
N°105682 \(\overline{(\overline{A} - A)} \cup \overline{(\overline{B} \cap C)}\)
N°106084 \(\overline{(\overline{A} - A)} \cup \overline{(\overline{B} - \overline{C})}\)
N°107236 \(\overline{(\overline{A} - A)} \cup \overline{(C - B)}\)
N°107602 \(\overline{(\overline{A} - A)} \cup \overline{(C \cap \overline{B})}\)
N°109526 \(\overline{(\overline{A} - A)} \cup (\overline{C} \cup B)\)
N°117302 \(\overline{(\overline{A} \cap \overline{A})} \cup (B \cup \overline{C})\)
N°117398 \(\overline{(\overline{A} \cup \overline{A})} \cup (B \cup \overline{C})\)
N°119218 \(\overline{(\overline{A} \cap \overline{A})} \cup \overline{(\overline{B} \cap C)}\)
N°119314 \(\overline{(\overline{A} \cup \overline{A})} \cup \overline{(\overline{B} \cap C)}\)
N°119620 \(\overline{(\overline{A} \cap \overline{A})} \cup \overline{(\overline{B} - \overline{C})}\)
N°119716 \(\overline{(\overline{A} \cup \overline{A})} \cup \overline{(\overline{B} - \overline{C})}\)
N°120772 \(\overline{(\overline{A} \cap \overline{A})} \cup \overline{(C - B)}\)
N°120868 \(\overline{(\overline{A} \cup \overline{A})} \cup \overline{(C - B)}\)
N°121138 \(\overline{(\overline{A} \cap \overline{A})} \cup \overline{(C \cap \overline{B})}\)
N°121234 \(\overline{(\overline{A} \cup \overline{A})} \cup \overline{(C \cap \overline{B})}\)
N°123062 \(\overline{(\overline{A} \cap \overline{A})} \cup (\overline{C} \cup B)\)
N°123158 \(\overline{(\overline{A} \cup \overline{A})} \cup (\overline{C} \cup B)\)
N°126424 \(\overline{(\overline{A} - B)} \cup \overline{(A \cup C)}\)
N°126430 \(\overline{(\overline{A} - B)} \cup \overline{(A \oplus C)}\)
N°126517 \((\overline{A} \cap B) \cup (A \cup \overline{C})\)
N°126710 \(\overline{(\overline{A} \oplus B)} \cup (A \cup \overline{C})\)
N°126806 \(\overline{(\overline{A} - B)} \cup (A \cup \overline{C})\)
N°126812 \(\overline{(\overline{A} - B)} \cup (A \oplus \overline{C})\)
N°128433 \((\overline{A} \cap B) \cup \overline{(\overline{A} \cap C)}\)
N°128626 \(\overline{(\overline{A} \oplus B)} \cup \overline{(\overline{A} \cap C)}\)
N°128722 \(\overline{(\overline{A} - B)} \cup \overline{(\overline{A} \cap C)}\)
N°128732 \(\overline{(\overline{A} - B)} \cup (\overline{A} \oplus C)\)
N°128738 \(\overline{(\overline{A} - B)} \cup (\overline{A} - C)\)
N°128835 \((\overline{A} \cap B) \cup \overline{(\overline{A} - \overline{C})}\)
N°129028 \(\overline{(\overline{A} \oplus B)} \cup \overline{(\overline{A} - \overline{C})}\)
N°129104 \(\overline{(\overline{A} - B)} \cup (\overline{A} \cap \overline{C})\)
N°129118 \(\overline{(\overline{A} - B)} \cup \overline{(\overline{A} \oplus \overline{C})}\)
N°129124 \(\overline{(\overline{A} - B)} \cup \overline{(\overline{A} - \overline{C})}\)
N°131032 \(\overline{(\overline{A} - B)} \cup \overline{(B \cup C)}\)
N°131038 \(\overline{(\overline{A} - B)} \cup \overline{(B \oplus C)}\)
N°131222 \(\overline{(\overline{A} \cup B)} \cup (B \cup \overline{C})\)
N°131318 \(\overline{(\overline{A} \oplus B)} \cup (B \cup \overline{C})\)
N°131414 \(\overline{(\overline{A} - B)} \cup (B \cup \overline{C})\)
N°131420 \(\overline{(\overline{A} - B)} \cup (B \oplus \overline{C})\)
N°133138 \(\overline{(\overline{A} \cup B)} \cup \overline{(\overline{B} \cap C)}\)
N°133234 \(\overline{(\overline{A} \oplus B)} \cup \overline{(\overline{B} \cap C)}\)
N°133330 \(\overline{(\overline{A} - B)} \cup \overline{(\overline{B} \cap C)}\)
N°133340 \(\overline{(\overline{A} - B)} \cup (\overline{B} \oplus C)\)
N°133346 \(\overline{(\overline{A} - B)} \cup (\overline{B} - C)\)
N°133540 \(\overline{(\overline{A} \cup B)} \cup \overline{(\overline{B} - \overline{C})}\)
N°133636 \(\overline{(\overline{A} \oplus B)} \cup \overline{(\overline{B} - \overline{C})}\)
N°133712 \(\overline{(\overline{A} - B)} \cup (\overline{B} \cap \overline{C})\)
N°133726 \(\overline{(\overline{A} - B)} \cup \overline{(\overline{B} \oplus \overline{C})}\)
N°133732 \(\overline{(\overline{A} - B)} \cup \overline{(\overline{B} - \overline{C})}\)
N°133827 \((\overline{A} \cap B) \cup \overline{(C - A)}\)
N°134020 \(\overline{(\overline{A} \oplus B)} \cup \overline{(C - A)}\)
N°134104 \(\overline{(\overline{A} - B)} \cup \overline{(C \cup A)}\)
N°134110 \(\overline{(\overline{A} - B)} \cup \overline{(C \oplus A)}\)
N°134116 \(\overline{(\overline{A} - B)} \cup \overline{(C - A)}\)
N°134193 \((\overline{A} \cap B) \cup \overline{(C \cap \overline{A})}\)
N°134386 \(\overline{(\overline{A} \oplus B)} \cup \overline{(C \cap \overline{A})}\)
N°134482 \(\overline{(\overline{A} - B)} \cup \overline{(C \cap \overline{A})}\)
N°134492 \(\overline{(\overline{A} - B)} \cup (C \oplus \overline{A})\)
N°134692 \(\overline{(\overline{A} \cup B)} \cup \overline{(C - B)}\)
N°134788 \(\overline{(\overline{A} \oplus B)} \cup \overline{(C - B)}\)
N°134872 \(\overline{(\overline{A} - B)} \cup \overline{(C \cup B)}\)
N°134878 \(\overline{(\overline{A} - B)} \cup \overline{(C \oplus B)}\)
N°134884 \(\overline{(\overline{A} - B)} \cup \overline{(C - B)}\)
N°135058 \(\overline{(\overline{A} \cup B)} \cup \overline{(C \cap \overline{B})}\)
N°135154 \(\overline{(\overline{A} \oplus B)} \cup \overline{(C \cap \overline{B})}\)
N°135250 \(\overline{(\overline{A} - B)} \cup \overline{(C \cap \overline{B})}\)
N°135260 \(\overline{(\overline{A} - B)} \cup (C \oplus \overline{B})\)
N°135634 \(\overline{(\overline{A} - B)} \cup \overline{(C \cap C)}\)
N°135640 \(\overline{(\overline{A} - B)} \cup \overline{(C \cup C)}\)
N°136036 \(\overline{(\overline{A} - B)} \cup \overline{(C - \overline{C})}\)
N°136117 \((\overline{A} \cap B) \cup (\overline{C} \cup A)\)
N°136310 \(\overline{(\overline{A} \oplus B)} \cup (\overline{C} \cup A)\)
N°136406 \(\overline{(\overline{A} - B)} \cup (\overline{C} \cup A)\)
N°136412 \(\overline{(\overline{A} - B)} \cup (\overline{C} \oplus A)\)
N°136418 \(\overline{(\overline{A} - B)} \cup (\overline{C} - A)\)
N°136784 \(\overline{(\overline{A} - B)} \cup (\overline{C} \cap \overline{A})\)
N°136798 \(\overline{(\overline{A} - B)} \cup \overline{(\overline{C} \oplus \overline{A})}\)
N°136982 \(\overline{(\overline{A} \cup B)} \cup (\overline{C} \cup B)\)
N°137078 \(\overline{(\overline{A} \oplus B)} \cup (\overline{C} \cup B)\)
N°137174 \(\overline{(\overline{A} - B)} \cup (\overline{C} \cup B)\)
N°137180 \(\overline{(\overline{A} - B)} \cup (\overline{C} \oplus B)\)
N°137186 \(\overline{(\overline{A} - B)} \cup (\overline{C} - B)\)
N°137552 \(\overline{(\overline{A} - B)} \cup (\overline{C} \cap \overline{B})\)
N°137566 \(\overline{(\overline{A} - B)} \cup \overline{(\overline{C} \oplus \overline{B})}\)
N°137954 \(\overline{(\overline{A} - B)} \cup (\overline{C} - C)\)
N°138320 \(\overline{(\overline{A} - B)} \cup (\overline{C} \cap \overline{C})\)
N°138326 \(\overline{(\overline{A} - B)} \cup (\overline{C} \cup \overline{C})\)
N°139960 \(\overline{(\overline{A} \cap \overline{B})} \cup \overline{(A \cup C)}\)
N°139966 \(\overline{(\overline{A} \cap \overline{B})} \cup \overline{(A \oplus C)}\)
N°140342 \(\overline{(\overline{A} \cap \overline{B})} \cup (A \cup \overline{C})\)
N°140348 \(\overline{(\overline{A} \cap \overline{B})} \cup (A \oplus \overline{C})\)
N°140533 \((\overline{A} \oplus \overline{B}) \cup (A \cup \overline{C})\)
N°140629 \((\overline{A} - \overline{B}) \cup (A \cup \overline{C})\)
N°142258 \(\overline{(\overline{A} \cap \overline{B})} \cup \overline{(\overline{A} \cap C)}\)
N°142268 \(\overline{(\overline{A} \cap \overline{B})} \cup (\overline{A} \oplus C)\)
N°142274 \(\overline{(\overline{A} \cap \overline{B})} \cup (\overline{A} - C)\)
N°142449 \((\overline{A} \oplus \overline{B}) \cup \overline{(\overline{A} \cap C)}\)
N°142545 \((\overline{A} - \overline{B}) \cup \overline{(\overline{A} \cap C)}\)
N°142640 \(\overline{(\overline{A} \cap \overline{B})} \cup (\overline{A} \cap \overline{C})\)
N°142654 \(\overline{(\overline{A} \cap \overline{B})} \cup \overline{(\overline{A} \oplus \overline{C})}\)
N°142660 \(\overline{(\overline{A} \cap \overline{B})} \cup \overline{(\overline{A} - \overline{C})}\)
N°142851 \((\overline{A} \oplus \overline{B}) \cup \overline{(\overline{A} - \overline{C})}\)
N°142947 \((\overline{A} - \overline{B}) \cup \overline{(\overline{A} - \overline{C})}\)
N°144568 \(\overline{(\overline{A} \cap \overline{B})} \cup \overline{(B \cup C)}\)
N°144574 \(\overline{(\overline{A} \cap \overline{B})} \cup \overline{(B \oplus C)}\)
N°144950 \(\overline{(\overline{A} \cap \overline{B})} \cup (B \cup \overline{C})\)
N°144956 \(\overline{(\overline{A} \cap \overline{B})} \cup (B \oplus \overline{C})\)
N°145141 \((\overline{A} \oplus \overline{B}) \cup (B \cup \overline{C})\)
N°146866 \(\overline{(\overline{A} \cap \overline{B})} \cup \overline{(\overline{B} \cap C)}\)
N°146876 \(\overline{(\overline{A} \cap \overline{B})} \cup (\overline{B} \oplus C)\)
N°146882 \(\overline{(\overline{A} \cap \overline{B})} \cup (\overline{B} - C)\)
N°147057 \((\overline{A} \oplus \overline{B}) \cup \overline{(\overline{B} \cap C)}\)
N°147248 \(\overline{(\overline{A} \cap \overline{B})} \cup (\overline{B} \cap \overline{C})\)
N°147262 \(\overline{(\overline{A} \cap \overline{B})} \cup \overline{(\overline{B} \oplus \overline{C})}\)
N°147268 \(\overline{(\overline{A} \cap \overline{B})} \cup \overline{(\overline{B} - \overline{C})}\)
N°147459 \((\overline{A} \oplus \overline{B}) \cup \overline{(\overline{B} - \overline{C})}\)
N°147640 \(\overline{(\overline{A} \cap \overline{B})} \cup \overline{(C \cup A)}\)
N°147646 \(\overline{(\overline{A} \cap \overline{B})} \cup \overline{(C \oplus A)}\)
N°147652 \(\overline{(\overline{A} \cap \overline{B})} \cup \overline{(C - A)}\)
N°147843 \((\overline{A} \oplus \overline{B}) \cup \overline{(C - A)}\)
N°147939 \((\overline{A} - \overline{B}) \cup \overline{(C - A)}\)
N°148018 \(\overline{(\overline{A} \cap \overline{B})} \cup \overline{(C \cap \overline{A})}\)
N°148028 \(\overline{(\overline{A} \cap \overline{B})} \cup (C \oplus \overline{A})\)
N°148209 \((\overline{A} \oplus \overline{B}) \cup \overline{(C \cap \overline{A})}\)
N°148305 \((\overline{A} - \overline{B}) \cup \overline{(C \cap \overline{A})}\)
N°148408 \(\overline{(\overline{A} \cap \overline{B})} \cup \overline{(C \cup B)}\)
N°148414 \(\overline{(\overline{A} \cap \overline{B})} \cup \overline{(C \oplus B)}\)
N°148420 \(\overline{(\overline{A} \cap \overline{B})} \cup \overline{(C - B)}\)
N°148611 \((\overline{A} \oplus \overline{B}) \cup \overline{(C - B)}\)
N°148786 \(\overline{(\overline{A} \cap \overline{B})} \cup \overline{(C \cap \overline{B})}\)
N°148796 \(\overline{(\overline{A} \cap \overline{B})} \cup (C \oplus \overline{B})\)
N°148977 \((\overline{A} \oplus \overline{B}) \cup \overline{(C \cap \overline{B})}\)
N°149170 \(\overline{(\overline{A} \cap \overline{B})} \cup \overline{(C \cap C)}\)
N°149176 \(\overline{(\overline{A} \cap \overline{B})} \cup \overline{(C \cup C)}\)
N°149572 \(\overline{(\overline{A} \cap \overline{B})} \cup \overline{(C - \overline{C})}\)
N°149942 \(\overline{(\overline{A} \cap \overline{B})} \cup (\overline{C} \cup A)\)
N°149948 \(\overline{(\overline{A} \cap \overline{B})} \cup (\overline{C} \oplus A)\)
N°149954 \(\overline{(\overline{A} \cap \overline{B})} \cup (\overline{C} - A)\)
N°150133 \((\overline{A} \oplus \overline{B}) \cup (\overline{C} \cup A)\)
N°150229 \((\overline{A} - \overline{B}) \cup (\overline{C} \cup A)\)
N°150320 \(\overline{(\overline{A} \cap \overline{B})} \cup (\overline{C} \cap \overline{A})\)
N°150334 \(\overline{(\overline{A} \cap \overline{B})} \cup \overline{(\overline{C} \oplus \overline{A})}\)
N°150710 \(\overline{(\overline{A} \cap \overline{B})} \cup (\overline{C} \cup B)\)
N°150716 \(\overline{(\overline{A} \cap \overline{B})} \cup (\overline{C} \oplus B)\)
N°150722 \(\overline{(\overline{A} \cap \overline{B})} \cup (\overline{C} - B)\)
N°150901 \((\overline{A} \oplus \overline{B}) \cup (\overline{C} \cup B)\)
N°151088 \(\overline{(\overline{A} \cap \overline{B})} \cup (\overline{C} \cap \overline{B})\)
N°151102 \(\overline{(\overline{A} \cap \overline{B})} \cup \overline{(\overline{C} \oplus \overline{B})}\)
N°151490 \(\overline{(\overline{A} \cap \overline{B})} \cup (\overline{C} - C)\)
N°151856 \(\overline{(\overline{A} \cap \overline{B})} \cup (\overline{C} \cap \overline{C})\)
N°151862 \(\overline{(\overline{A} \cap \overline{B})} \cup (\overline{C} \cup \overline{C})\)
N°153014 \(\overline{(\overline{A} \cap C)} \cup (A \cup B)\)
N°153020 \(\overline{(\overline{A} \cap C)} \cup (A \oplus B)\)
N°153205 \((\overline{A} \oplus C) \cup (A \cup B)\)
N°153301 \((\overline{A} - C) \cup (A \cup B)\)
N°153400 \(\overline{(\overline{A} \cap C)} \cup \overline{(A \cup \overline{B})}\)
N°153406 \(\overline{(\overline{A} \cap C)} \cup \overline{(A \oplus \overline{B})}\)
N°155312 \(\overline{(\overline{A} \cap C)} \cup (\overline{A} \cap B)\)
N°155326 \(\overline{(\overline{A} \cap C)} \cup \overline{(\overline{A} \oplus B)}\)
N°155332 \(\overline{(\overline{A} \cap C)} \cup \overline{(\overline{A} - B)}\)
N°155523 \((\overline{A} \oplus C) \cup \overline{(\overline{A} - B)}\)
N°155619 \((\overline{A} - C) \cup \overline{(\overline{A} - B)}\)
N°155698 \(\overline{(\overline{A} \cap C)} \cup \overline{(\overline{A} \cap \overline{B})}\)
N°155708 \(\overline{(\overline{A} \cap C)} \cup (\overline{A} \oplus \overline{B})\)
N°155714 \(\overline{(\overline{A} \cap C)} \cup (\overline{A} - \overline{B})\)
N°155889 \((\overline{A} \oplus C) \cup \overline{(\overline{A} \cap \overline{B})}\)
N°155985 \((\overline{A} - C) \cup \overline{(\overline{A} \cap \overline{B})}\)
N°156854 \(\overline{(\overline{A} \cap C)} \cup (B \cup A)\)
N°156860 \(\overline{(\overline{A} \cap C)} \cup (B \oplus A)\)
N°156866 \(\overline{(\overline{A} \cap C)} \cup (B - A)\)
N°157045 \((\overline{A} \oplus C) \cup (B \cup A)\)
N°157141 \((\overline{A} - C) \cup (B \cup A)\)
N°157232 \(\overline{(\overline{A} \cap C)} \cup (B \cap \overline{A})\)
N°157246 \(\overline{(\overline{A} \cap C)} \cup \overline{(B \oplus \overline{A})}\)
N°157616 \(\overline{(\overline{A} \cap C)} \cup (B \cap B)\)
N°157622 \(\overline{(\overline{A} \cap C)} \cup (B \cup B)\)
N°158018 \(\overline{(\overline{A} \cap C)} \cup (B - \overline{B})\)
N°158384 \(\overline{(\overline{A} \cap C)} \cup (B \cap C)\)
N°158398 \(\overline{(\overline{A} \cap C)} \cup \overline{(B \oplus C)}\)
N°158774 \(\overline{(\overline{A} \cap C)} \cup (B \cup \overline{C})\)
N°158780 \(\overline{(\overline{A} \cap C)} \cup (B \oplus \overline{C})\)
N°158786 \(\overline{(\overline{A} \cap C)} \cup (B - \overline{C})\)
N°158965 \((\overline{A} \oplus C) \cup (B \cup \overline{C})\)
N°159160 \(\overline{(\overline{A} \cap C)} \cup \overline{(\overline{B} \cup A)}\)
N°159166 \(\overline{(\overline{A} \cap C)} \cup \overline{(\overline{B} \oplus A)}\)
N°159172 \(\overline{(\overline{A} \cap C)} \cup \overline{(\overline{B} - A)}\)
N°159363 \((\overline{A} \oplus C) \cup \overline{(\overline{B} - A)}\)
N°159459 \((\overline{A} - C) \cup \overline{(\overline{B} - A)}\)
N°159538 \(\overline{(\overline{A} \cap C)} \cup \overline{(\overline{B} \cap \overline{A})}\)
N°159548 \(\overline{(\overline{A} \cap C)} \cup (\overline{B} \oplus \overline{A})\)
N°159729 \((\overline{A} \oplus C) \cup \overline{(\overline{B} \cap \overline{A})}\)
N°159825 \((\overline{A} - C) \cup \overline{(\overline{B} \cap \overline{A})}\)
N°159940 \(\overline{(\overline{A} \cap C)} \cup \overline{(\overline{B} - B)}\)
N°160306 \(\overline{(\overline{A} \cap C)} \cup \overline{(\overline{B} \cap \overline{B})}\)
N°160312 \(\overline{(\overline{A} \cap C)} \cup \overline{(\overline{B} \cup \overline{B})}\)
N°160690 \(\overline{(\overline{A} \cap C)} \cup \overline{(\overline{B} \cap C)}\)
N°160700 \(\overline{(\overline{A} \cap C)} \cup (\overline{B} \oplus C)\)
N°160881 \((\overline{A} \oplus C) \cup \overline{(\overline{B} \cap C)}\)
N°161080 \(\overline{(\overline{A} \cap C)} \cup \overline{(\overline{B} \cup \overline{C})}\)
N°161086 \(\overline{(\overline{A} \cap C)} \cup \overline{(\overline{B} \oplus \overline{C})}\)
N°161092 \(\overline{(\overline{A} \cap C)} \cup \overline{(\overline{B} - \overline{C})}\)
N°161283 \((\overline{A} \oplus C) \cup \overline{(\overline{B} - \overline{C})}\)
N°162224 \(\overline{(\overline{A} \cap C)} \cup (C \cap B)\)
N°162238 \(\overline{(\overline{A} \cap C)} \cup \overline{(C \oplus B)}\)
N°162244 \(\overline{(\overline{A} \cap C)} \cup \overline{(C - B)}\)
N°162435 \((\overline{A} \oplus C) \cup \overline{(C - B)}\)
N°162610 \(\overline{(\overline{A} \cap C)} \cup \overline{(C \cap \overline{B})}\)
N°162620 \(\overline{(\overline{A} \cap C)} \cup (C \oplus \overline{B})\)
N°162626 \(\overline{(\overline{A} \cap C)} \cup (C - \overline{B})\)
N°162801 \((\overline{A} \oplus C) \cup \overline{(C \cap \overline{B})}\)
N°164534 \(\overline{(\overline{A} \cap C)} \cup (\overline{C} \cup B)\)
N°164540 \(\overline{(\overline{A} \cap C)} \cup (\overline{C} \oplus B)\)
N°164725 \((\overline{A} \oplus C) \cup (\overline{C} \cup B)\)
N°164920 \(\overline{(\overline{A} \cap C)} \cup \overline{(\overline{C} \cup \overline{B})}\)
N°164926 \(\overline{(\overline{A} \cap C)} \cup \overline{(\overline{C} \oplus \overline{B})}\)
N°166837 \((\overline{A} \cap \overline{C}) \cup (A \cup B)\)
N°167030 \(\overline{(\overline{A} \oplus \overline{C})} \cup (A \cup B)\)
N°167126 \(\overline{(\overline{A} - \overline{C})} \cup (A \cup B)\)
N°167132 \(\overline{(\overline{A} - \overline{C})} \cup (A \oplus B)\)
N°167512 \(\overline{(\overline{A} - \overline{C})} \cup \overline{(A \cup \overline{B})}\)
N°167518 \(\overline{(\overline{A} - \overline{C})} \cup \overline{(A \oplus \overline{B})}\)
N°169155 \((\overline{A} \cap \overline{C}) \cup \overline{(\overline{A} - B)}\)
N°169348 \(\overline{(\overline{A} \oplus \overline{C})} \cup \overline{(\overline{A} - B)}\)
N°169424 \(\overline{(\overline{A} - \overline{C})} \cup (\overline{A} \cap B)\)
N°169438 \(\overline{(\overline{A} - \overline{C})} \cup \overline{(\overline{A} \oplus B)}\)
N°169444 \(\overline{(\overline{A} - \overline{C})} \cup \overline{(\overline{A} - B)}\)
N°169521 \((\overline{A} \cap \overline{C}) \cup \overline{(\overline{A} \cap \overline{B})}\)
N°169714 \(\overline{(\overline{A} \oplus \overline{C})} \cup \overline{(\overline{A} \cap \overline{B})}\)
N°169810 \(\overline{(\overline{A} - \overline{C})} \cup \overline{(\overline{A} \cap \overline{B})}\)
N°169820 \(\overline{(\overline{A} - \overline{C})} \cup (\overline{A} \oplus \overline{B})\)
N°169826 \(\overline{(\overline{A} - \overline{C})} \cup (\overline{A} - \overline{B})\)
N°170677 \((\overline{A} \cap \overline{C}) \cup (B \cup A)\)
N°170870 \(\overline{(\overline{A} \oplus \overline{C})} \cup (B \cup A)\)
N°170966 \(\overline{(\overline{A} - \overline{C})} \cup (B \cup A)\)
N°170972 \(\overline{(\overline{A} - \overline{C})} \cup (B \oplus A)\)
N°170978 \(\overline{(\overline{A} - \overline{C})} \cup (B - A)\)
N°171344 \(\overline{(\overline{A} - \overline{C})} \cup (B \cap \overline{A})\)
N°171358 \(\overline{(\overline{A} - \overline{C})} \cup \overline{(B \oplus \overline{A})}\)
N°171728 \(\overline{(\overline{A} - \overline{C})} \cup (B \cap B)\)
N°171734 \(\overline{(\overline{A} - \overline{C})} \cup (B \cup B)\)
N°172130 \(\overline{(\overline{A} - \overline{C})} \cup (B - \overline{B})\)
N°172496 \(\overline{(\overline{A} - \overline{C})} \cup (B \cap C)\)
N°172510 \(\overline{(\overline{A} - \overline{C})} \cup \overline{(B \oplus C)}\)
N°172694 \(\overline{(\overline{A} \cup \overline{C})} \cup (B \cup \overline{C})\)
N°172790 \(\overline{(\overline{A} \oplus \overline{C})} \cup (B \cup \overline{C})\)
N°172886 \(\overline{(\overline{A} - \overline{C})} \cup (B \cup \overline{C})\)
N°172892 \(\overline{(\overline{A} - \overline{C})} \cup (B \oplus \overline{C})\)
N°172898 \(\overline{(\overline{A} - \overline{C})} \cup (B - \overline{C})\)
N°172995 \((\overline{A} \cap \overline{C}) \cup \overline{(\overline{B} - A)}\)
N°173188 \(\overline{(\overline{A} \oplus \overline{C})} \cup \overline{(\overline{B} - A)}\)
N°173272 \(\overline{(\overline{A} - \overline{C})} \cup \overline{(\overline{B} \cup A)}\)
N°173278 \(\overline{(\overline{A} - \overline{C})} \cup \overline{(\overline{B} \oplus A)}\)
N°173284 \(\overline{(\overline{A} - \overline{C})} \cup \overline{(\overline{B} - A)}\)
N°173361 \((\overline{A} \cap \overline{C}) \cup \overline{(\overline{B} \cap \overline{A})}\)
N°173554 \(\overline{(\overline{A} \oplus \overline{C})} \cup \overline{(\overline{B} \cap \overline{A})}\)
N°173650 \(\overline{(\overline{A} - \overline{C})} \cup \overline{(\overline{B} \cap \overline{A})}\)
N°173660 \(\overline{(\overline{A} - \overline{C})} \cup (\overline{B} \oplus \overline{A})\)
N°174052 \(\overline{(\overline{A} - \overline{C})} \cup \overline{(\overline{B} - B)}\)
N°174418 \(\overline{(\overline{A} - \overline{C})} \cup \overline{(\overline{B} \cap \overline{B})}\)
N°174424 \(\overline{(\overline{A} - \overline{C})} \cup \overline{(\overline{B} \cup \overline{B})}\)
N°174610 \(\overline{(\overline{A} \cup \overline{C})} \cup \overline{(\overline{B} \cap C)}\)
N°174706 \(\overline{(\overline{A} \oplus \overline{C})} \cup \overline{(\overline{B} \cap C)}\)
N°174802 \(\overline{(\overline{A} - \overline{C})} \cup \overline{(\overline{B} \cap C)}\)
N°174812 \(\overline{(\overline{A} - \overline{C})} \cup (\overline{B} \oplus C)\)
N°175012 \(\overline{(\overline{A} \cup \overline{C})} \cup \overline{(\overline{B} - \overline{C})}\)
N°175108 \(\overline{(\overline{A} \oplus \overline{C})} \cup \overline{(\overline{B} - \overline{C})}\)
N°175192 \(\overline{(\overline{A} - \overline{C})} \cup \overline{(\overline{B} \cup \overline{C})}\)
N°175198 \(\overline{(\overline{A} - \overline{C})} \cup \overline{(\overline{B} \oplus \overline{C})}\)
N°175204 \(\overline{(\overline{A} - \overline{C})} \cup \overline{(\overline{B} - \overline{C})}\)
N°176164 \(\overline{(\overline{A} \cup \overline{C})} \cup \overline{(C - B)}\)
N°176260 \(\overline{(\overline{A} \oplus \overline{C})} \cup \overline{(C - B)}\)
N°176336 \(\overline{(\overline{A} - \overline{C})} \cup (C \cap B)\)
N°176350 \(\overline{(\overline{A} - \overline{C})} \cup \overline{(C \oplus B)}\)
N°176356 \(\overline{(\overline{A} - \overline{C})} \cup \overline{(C - B)}\)
N°176530 \(\overline{(\overline{A} \cup \overline{C})} \cup \overline{(C \cap \overline{B})}\)
N°176626 \(\overline{(\overline{A} \oplus \overline{C})} \cup \overline{(C \cap \overline{B})}\)
N°176722 \(\overline{(\overline{A} - \overline{C})} \cup \overline{(C \cap \overline{B})}\)
N°176732 \(\overline{(\overline{A} - \overline{C})} \cup (C \oplus \overline{B})\)
N°176738 \(\overline{(\overline{A} - \overline{C})} \cup (C - \overline{B})\)
N°178454 \(\overline{(\overline{A} \cup \overline{C})} \cup (\overline{C} \cup B)\)
N°178550 \(\overline{(\overline{A} \oplus \overline{C})} \cup (\overline{C} \cup B)\)
N°178646 \(\overline{(\overline{A} - \overline{C})} \cup (\overline{C} \cup B)\)
N°178652 \(\overline{(\overline{A} - \overline{C})} \cup (\overline{C} \oplus B)\)
N°179032 \(\overline{(\overline{A} - \overline{C})} \cup \overline{(\overline{C} \cup \overline{B})}\)
N°179038 \(\overline{(\overline{A} - \overline{C})} \cup \overline{(\overline{C} \oplus \overline{B})}\)
N°181527 \((B \cup A) \cup \overline{(A \cup C)}\)
N°181533 \((B \cup A) \cup \overline{(A \oplus C)}\)
N°181909 \((B \cup A) \cup (A \cup \overline{C})\)
N°181915 \((B \cup A) \cup (A \oplus \overline{C})\)
N°182005 \((B \oplus A) \cup (A \cup \overline{C})\)
N°182101 \((B - A) \cup (A \cup \overline{C})\)
N°183825 \((B \cup A) \cup \overline{(\overline{A} \cap C)}\)
N°183835 \((B \cup A) \cup (\overline{A} \oplus C)\)
N°183841 \((B \cup A) \cup (\overline{A} - C)\)
N°183921 \((B \oplus A) \cup \overline{(\overline{A} \cap C)}\)
N°184017 \((B - A) \cup \overline{(\overline{A} \cap C)}\)
N°184207 \((B \cup A) \cup (\overline{A} \cap \overline{C})\)
N°184221 \((B \cup A) \cup \overline{(\overline{A} \oplus \overline{C})}\)
N°184227 \((B \cup A) \cup \overline{(\overline{A} - \overline{C})}\)
N°184323 \((B \oplus A) \cup \overline{(\overline{A} - \overline{C})}\)
N°184419 \((B - A) \cup \overline{(\overline{A} - \overline{C})}\)
N°186135 \((B \cup A) \cup \overline{(B \cup C)}\)
N°186141 \((B \cup A) \cup \overline{(B \oplus C)}\)
N°186517 \((B \cup A) \cup (B \cup \overline{C})\)
N°186523 \((B \cup A) \cup (B \oplus \overline{C})\)
N°186613 \((B \oplus A) \cup (B \cup \overline{C})\)
N°188433 \((B \cup A) \cup \overline{(\overline{B} \cap C)}\)
N°188443 \((B \cup A) \cup (\overline{B} \oplus C)\)
N°188449 \((B \cup A) \cup (\overline{B} - C)\)
N°188529 \((B \oplus A) \cup \overline{(\overline{B} \cap C)}\)
N°188815 \((B \cup A) \cup (\overline{B} \cap \overline{C})\)
N°188829 \((B \cup A) \cup \overline{(\overline{B} \oplus \overline{C})}\)
N°188835 \((B \cup A) \cup \overline{(\overline{B} - \overline{C})}\)
N°188931 \((B \oplus A) \cup \overline{(\overline{B} - \overline{C})}\)
N°189207 \((B \cup A) \cup \overline{(C \cup A)}\)
N°189213 \((B \cup A) \cup \overline{(C \oplus A)}\)
N°189219 \((B \cup A) \cup \overline{(C - A)}\)
N°189315 \((B \oplus A) \cup \overline{(C - A)}\)
N°189411 \((B - A) \cup \overline{(C - A)}\)
N°189585 \((B \cup A) \cup \overline{(C \cap \overline{A})}\)
N°189595 \((B \cup A) \cup (C \oplus \overline{A})\)
N°189681 \((B \oplus A) \cup \overline{(C \cap \overline{A})}\)
N°189777 \((B - A) \cup \overline{(C \cap \overline{A})}\)
N°189975 \((B \cup A) \cup \overline{(C \cup B)}\)
N°189981 \((B \cup A) \cup \overline{(C \oplus B)}\)
N°189987 \((B \cup A) \cup \overline{(C - B)}\)
N°190083 \((B \oplus A) \cup \overline{(C - B)}\)
N°190353 \((B \cup A) \cup \overline{(C \cap \overline{B})}\)
N°190363 \((B \cup A) \cup (C \oplus \overline{B})\)
N°190449 \((B \oplus A) \cup \overline{(C \cap \overline{B})}\)
N°190737 \((B \cup A) \cup \overline{(C \cap C)}\)
N°190743 \((B \cup A) \cup \overline{(C \cup C)}\)
N°191139 \((B \cup A) \cup \overline{(C - \overline{C})}\)
N°191509 \((B \cup A) \cup (\overline{C} \cup A)\)
N°191513 \(B \cup(A \cup \overline{C})\cup A\)
N°191515 \((B \cup A) \cup (\overline{C} \oplus A)\)
N°191521 \((B \cup A) \cup (\overline{C} - A)\)
N°191537 \(B \cup(A \oplus \overline{C})\cup A\)
N°191561 \(B \cup(A - \overline{C})\cup A\)
N°191605 \((B \oplus A) \cup (\overline{C} \cup A)\)
N°191701 \((B - A) \cup (\overline{C} \cup A)\)
N°191887 \((B \cup A) \cup (\overline{C} \cap \overline{A})\)
N°191897 \(B \cup(A \cup \overline{C})\cup \overline{A}\)
N°191901 \((B \cup A) \cup \overline{(\overline{C} \oplus \overline{A})}\)
N°191921 \(B \cup(A \oplus \overline{C})\cup \overline{A}\)
N°191945 \(B \cup(A - \overline{C})\cup \overline{A}\)
N°192277 \((B \cup A) \cup (\overline{C} \cup B)\)
N°192281 \(B \cup(A \cup \overline{C})\cup B\)
N°192283 \((B \cup A) \cup (\overline{C} \oplus B)\)
N°192289 \((B \cup A) \cup (\overline{C} - B)\)
N°192305 \(B \cup(A \oplus \overline{C})\cup B\)
N°192329 \(B \cup(A - \overline{C})\cup B\)
N°192373 \((B \oplus A) \cup (\overline{C} \cup B)\)
N°192655 \((B \cup A) \cup (\overline{C} \cap \overline{B})\)
N°192665 \(B \cup(A \cup \overline{C})\cup \overline{B}\)
N°192669 \((B \cup A) \cup \overline{(\overline{C} \oplus \overline{B})}\)
N°192689 \(B \cup(A \oplus \overline{C})\cup \overline{B}\)
N°192713 \(B \cup(A - \overline{C})\cup \overline{B}\)
N°193049 \(B \cup(A \cup \overline{C})\cup C\)
N°193057 \((B \cup A) \cup (\overline{C} - C)\)
N°193073 \(B \cup(A \oplus \overline{C})\cup C\)
N°193097 \(B \cup(A - \overline{C})\cup C\)
N°193423 \((B \cup A) \cup (\overline{C} \cap \overline{C})\)
N°193429 \((B \cup A) \cup (\overline{C} \cup \overline{C})\)
N°193433 \(B \cup(A \cup \overline{C})\cup \overline{C}\)
N°193457 \(B \cup(A \oplus \overline{C})\cup \overline{C}\)
N°193481 \(B \cup(A - \overline{C})\cup \overline{C}\)
N°195637 \((B \cap \overline{A}) \cup (A \cup \overline{C})\)
N°195830 \(\overline{(B \oplus \overline{A})} \cup (A \cup \overline{C})\)
N°197553 \((B \cap \overline{A}) \cup \overline{(\overline{A} \cap C)}\)
N°197746 \(\overline{(B \oplus \overline{A})} \cup \overline{(\overline{A} \cap C)}\)
N°197955 \((B \cap \overline{A}) \cup \overline{(\overline{A} - \overline{C})}\)
N°198148 \(\overline{(B \oplus \overline{A})} \cup \overline{(\overline{A} - \overline{C})}\)
N°200342 \(\overline{(B \cup \overline{A})} \cup (B \cup \overline{C})\)
N°200438 \(\overline{(B \oplus \overline{A})} \cup (B \cup \overline{C})\)
N°202258 \(\overline{(B \cup \overline{A})} \cup \overline{(\overline{B} \cap C)}\)
N°202354 \(\overline{(B \oplus \overline{A})} \cup \overline{(\overline{B} \cap C)}\)
N°202660 \(\overline{(B \cup \overline{A})} \cup \overline{(\overline{B} - \overline{C})}\)
N°202756 \(\overline{(B \oplus \overline{A})} \cup \overline{(\overline{B} - \overline{C})}\)
N°202947 \((B \cap \overline{A}) \cup \overline{(C - A)}\)
N°203140 \(\overline{(B \oplus \overline{A})} \cup \overline{(C - A)}\)
N°203313 \((B \cap \overline{A}) \cup \overline{(C \cap \overline{A})}\)
N°203506 \(\overline{(B \oplus \overline{A})} \cup \overline{(C \cap \overline{A})}\)
N°203812 \(\overline{(B \cup \overline{A})} \cup \overline{(C - B)}\)
N°203908 \(\overline{(B \oplus \overline{A})} \cup \overline{(C - B)}\)
N°204178 \(\overline{(B \cup \overline{A})} \cup \overline{(C \cap \overline{B})}\)
N°204274 \(\overline{(B \oplus \overline{A})} \cup \overline{(C \cap \overline{B})}\)
N°205237 \((B \cap \overline{A}) \cup (\overline{C} \cup A)\)
N°205338 \(B \cup\overline{(\overline{A} \cup \overline{C})}\cup A\)
N°205362 \(B \cup\overline{(\overline{A} \oplus \overline{C})}\cup A\)
N°205386 \(B \cup\overline{(\overline{A} - \overline{C})}\cup A\)
N°205430 \(\overline{(B \oplus \overline{A})} \cup (\overline{C} \cup A)\)
N°205722 \(B \cup\overline{(\overline{A} \cup \overline{C})}\cup \overline{A}\)
N°205746 \(B \cup\overline{(\overline{A} \oplus \overline{C})}\cup \overline{A}\)
N°205770 \(B \cup\overline{(\overline{A} - \overline{C})}\cup \overline{A}\)
N°206102 \(\overline{(B \cup \overline{A})} \cup (\overline{C} \cup B)\)
N°206106 \(B \cup\overline{(\overline{A} \cup \overline{C})}\cup B\)
N°206130 \(B \cup\overline{(\overline{A} \oplus \overline{C})}\cup B\)
N°206154 \(B \cup\overline{(\overline{A} - \overline{C})}\cup B\)
N°206198 \(\overline{(B \oplus \overline{A})} \cup (\overline{C} \cup B)\)
N°206490 \(B \cup\overline{(\overline{A} \cup \overline{C})}\cup \overline{B}\)
N°206514 \(B \cup\overline{(\overline{A} \oplus \overline{C})}\cup \overline{B}\)
N°206538 \(B \cup\overline{(\overline{A} - \overline{C})}\cup \overline{B}\)
N°206874 \(B \cup\overline{(\overline{A} \cup \overline{C})}\cup C\)
N°206898 \(B \cup\overline{(\overline{A} \oplus \overline{C})}\cup C\)
N°206922 \(B \cup\overline{(\overline{A} - \overline{C})}\cup C\)
N°207258 \(B \cup\overline{(\overline{A} \cup \overline{C})}\cup \overline{C}\)
N°207282 \(B \cup\overline{(\overline{A} \oplus \overline{C})}\cup \overline{C}\)
N°207306 \(B \cup\overline{(\overline{A} - \overline{C})}\cup \overline{C}\)
N°209461 \((B \cap B) \cup (A \cup \overline{C})\)
N°209557 \((B \cup B) \cup (A \cup \overline{C})\)
N°211377 \((B \cap B) \cup \overline{(\overline{A} \cap C)}\)
N°211473 \((B \cup B) \cup \overline{(\overline{A} \cap C)}\)
N°211779 \((B \cap B) \cup \overline{(\overline{A} - \overline{C})}\)
N°211875 \((B \cup B) \cup \overline{(\overline{A} - \overline{C})}\)
N°216771 \((B \cap B) \cup \overline{(C - A)}\)
N°216867 \((B \cup B) \cup \overline{(C - A)}\)
N°217137 \((B \cap B) \cup \overline{(C \cap \overline{A})}\)
N°217233 \((B \cup B) \cup \overline{(C \cap \overline{A})}\)
N°219061 \((B \cap B) \cup (\overline{C} \cup A)\)
N°219157 \((B \cup B) \cup (\overline{C} \cup A)\)
N°223573 \((B - \overline{B}) \cup (A \cup \overline{C})\)
N°225489 \((B - \overline{B}) \cup \overline{(\overline{A} \cap C)}\)
N°225891 \((B - \overline{B}) \cup \overline{(\overline{A} - \overline{C})}\)
N°230883 \((B - \overline{B}) \cup \overline{(C - A)}\)
N°231249 \((B - \overline{B}) \cup \overline{(C \cap \overline{A})}\)
N°233173 \((B - \overline{B}) \cup (\overline{C} \cup A)\)
N°235290 \(B \cup\overline{(C \cup A)}\cup A\)
N°235314 \(B \cup\overline{(C \oplus A)}\cup A\)
N°235338 \(B \cup\overline{(C - A)}\cup A\)
N°235674 \(B \cup\overline{(C \cup A)}\cup \overline{A}\)
N°235698 \(B \cup\overline{(C \oplus A)}\cup \overline{A}\)
N°235722 \(B \cup\overline{(C - A)}\cup \overline{A}\)
N°236054 \(\overline{(B \cup C)} \cup (A \cup B)\)
N°236058 \(B \cup\overline{(C \cup A)}\cup B\)
N°236082 \(B \cup\overline{(C \oplus A)}\cup B\)
N°236106 \(B \cup\overline{(C - A)}\cup B\)
N°236150 \(\overline{(B \oplus C)} \cup (A \cup B)\)
N°236442 \(B \cup\overline{(C \cup A)}\cup \overline{B}\)
N°236466 \(B \cup\overline{(C \oplus A)}\cup \overline{B}\)
N°236490 \(B \cup\overline{(C - A)}\cup \overline{B}\)
N°236826 \(B \cup\overline{(C \cup A)}\cup C\)
N°236850 \(B \cup\overline{(C \oplus A)}\cup C\)
N°236874 \(B \cup\overline{(C - A)}\cup C\)
N°237109 \((B \cap C) \cup (A \cup \overline{C})\)
N°237210 \(B \cup\overline{(C \cup A)}\cup \overline{C}\)
N°237234 \(B \cup\overline{(C \oplus A)}\cup \overline{C}\)
N°237258 \(B \cup\overline{(C - A)}\cup \overline{C}\)
N°237302 \(\overline{(B \oplus C)} \cup (A \cup \overline{C})\)
N°238372 \(\overline{(B \cup C)} \cup \overline{(\overline{A} - B)}\)
N°238468 \(\overline{(B \oplus C)} \cup \overline{(\overline{A} - B)}\)
N°238738 \(\overline{(B \cup C)} \cup \overline{(\overline{A} \cap \overline{B})}\)
N°238834 \(\overline{(B \oplus C)} \cup \overline{(\overline{A} \cap \overline{B})}\)
N°239025 \((B \cap C) \cup \overline{(\overline{A} \cap C)}\)
N°239218 \(\overline{(B \oplus C)} \cup \overline{(\overline{A} \cap C)}\)
N°239427 \((B \cap C) \cup \overline{(\overline{A} - \overline{C})}\)
N°239620 \(\overline{(B \oplus C)} \cup \overline{(\overline{A} - \overline{C})}\)
N°239894 \(\overline{(B \cup C)} \cup (B \cup A)\)
N°239990 \(\overline{(B \oplus C)} \cup (B \cup A)\)
N°242212 \(\overline{(B \cup C)} \cup \overline{(\overline{B} - A)}\)
N°242308 \(\overline{(B \oplus C)} \cup \overline{(\overline{B} - A)}\)
N°242578 \(\overline{(B \cup C)} \cup \overline{(\overline{B} \cap \overline{A})}\)
N°242674 \(\overline{(B \oplus C)} \cup \overline{(\overline{B} \cap \overline{A})}\)
N°244419 \((B \cap C) \cup \overline{(C - A)}\)
N°244612 \(\overline{(B \oplus C)} \cup \overline{(C - A)}\)
N°244785 \((B \cap C) \cup \overline{(C \cap \overline{A})}\)
N°244978 \(\overline{(B \oplus C)} \cup \overline{(C \cap \overline{A})}\)
N°246709 \((B \cap C) \cup (\overline{C} \cup A)\)
N°246902 \(\overline{(B \oplus C)} \cup (\overline{C} \cup A)\)
N°249103 \((B \cup \overline{C}) \cup (A \cap A)\)
N°249109 \((B \cup \overline{C}) \cup (A \cup A)\)
N°249113 \(B \cup(\overline{C} \cup A)\cup A\)
N°249137 \(B \cup(\overline{C} \oplus A)\cup A\)
N°249161 \(B \cup(\overline{C} - A)\cup A\)
N°249497 \(B \cup(\overline{C} \cup A)\cup \overline{A}\)
N°249505 \((B \cup \overline{C}) \cup (A - \overline{A})\)
N°249521 \(B \cup(\overline{C} \oplus A)\cup \overline{A}\)
N°249545 \(B \cup(\overline{C} - A)\cup \overline{A}\)
N°249877 \((B \cup \overline{C}) \cup (A \cup B)\)
N°249881 \(B \cup(\overline{C} \cup A)\cup B\)
N°249883 \((B \cup \overline{C}) \cup (A \oplus B)\)
N°249889 \((B \cup \overline{C}) \cup (A - B)\)
N°249905 \(B \cup(\overline{C} \oplus A)\cup B\)
N°249929 \(B \cup(\overline{C} - A)\cup B\)
N°249973 \((B \oplus \overline{C}) \cup (A \cup B)\)
N°250255 \((B \cup \overline{C}) \cup (A \cap \overline{B})\)
N°250265 \(B \cup(\overline{C} \cup A)\cup \overline{B}\)
N°250269 \((B \cup \overline{C}) \cup \overline{(A \oplus \overline{B})}\)
N°250289 \(B \cup(\overline{C} \oplus A)\cup \overline{B}\)
N°250313 \(B \cup(\overline{C} - A)\cup \overline{B}\)
N°250639 \((B \cup \overline{C}) \cup (A \cap C)\)
N°250649 \(B \cup(\overline{C} \cup A)\cup C\)
N°250653 \((B \cup \overline{C}) \cup \overline{(A \oplus C)}\)
N°250673 \(B \cup(\overline{C} \oplus A)\cup C\)
N°250697 \(B \cup(\overline{C} - A)\cup C\)
N°251029 \((B \cup \overline{C}) \cup (A \cup \overline{C})\)
N°251033 \(B \cup(\overline{C} \cup A)\cup \overline{C}\)
N°251035 \((B \cup \overline{C}) \cup (A \oplus \overline{C})\)
N°251041 \((B \cup \overline{C}) \cup (A - \overline{C})\)
N°251057 \(B \cup(\overline{C} \oplus A)\cup \overline{C}\)
N°251081 \(B \cup(\overline{C} - A)\cup \overline{C}\)
N°251125 \((B \oplus \overline{C}) \cup (A \cup \overline{C})\)
N°251221 \((B - \overline{C}) \cup (A \cup \overline{C})\)
N°251427 \((B \cup \overline{C}) \cup \overline{(\overline{A} - A)}\)
N°251793 \((B \cup \overline{C}) \cup \overline{(\overline{A} \cap \overline{A})}\)
N°251799 \((B \cup \overline{C}) \cup \overline{(\overline{A} \cup \overline{A})}\)
N°252183 \((B \cup \overline{C}) \cup \overline{(\overline{A} \cup B)}\)
N°252189 \((B \cup \overline{C}) \cup \overline{(\overline{A} \oplus B)}\)
N°252195 \((B \cup \overline{C}) \cup \overline{(\overline{A} - B)}\)
N°252291 \((B \oplus \overline{C}) \cup \overline{(\overline{A} - B)}\)
N°252561 \((B \cup \overline{C}) \cup \overline{(\overline{A} \cap \overline{B})}\)
N°252571 \((B \cup \overline{C}) \cup (\overline{A} \oplus \overline{B})\)
N°252657 \((B \oplus \overline{C}) \cup \overline{(\overline{A} \cap \overline{B})}\)
N°252945 \((B \cup \overline{C}) \cup \overline{(\overline{A} \cap C)}\)
N°252955 \((B \cup \overline{C}) \cup (\overline{A} \oplus C)\)
N°253041 \((B \oplus \overline{C}) \cup \overline{(\overline{A} \cap C)}\)
N°253137 \((B - \overline{C}) \cup \overline{(\overline{A} \cap C)}\)
N°253335 \((B \cup \overline{C}) \cup \overline{(\overline{A} \cup \overline{C})}\)
N°253341 \((B \cup \overline{C}) \cup \overline{(\overline{A} \oplus \overline{C})}\)
N°253347 \((B \cup \overline{C}) \cup \overline{(\overline{A} - \overline{C})}\)
N°253443 \((B \oplus \overline{C}) \cup \overline{(\overline{A} - \overline{C})}\)
N°253539 \((B - \overline{C}) \cup \overline{(\overline{A} - \overline{C})}\)
N°253717 \((B \cup \overline{C}) \cup (B \cup A)\)
N°253723 \((B \cup \overline{C}) \cup (B \oplus A)\)
N°253813 \((B \oplus \overline{C}) \cup (B \cup A)\)
N°254103 \((B \cup \overline{C}) \cup \overline{(B \cup \overline{A})}\)
N°254109 \((B \cup \overline{C}) \cup \overline{(B \oplus \overline{A})}\)
N°256015 \((B \cup \overline{C}) \cup (\overline{B} \cap A)\)
N°256029 \((B \cup \overline{C}) \cup \overline{(\overline{B} \oplus A)}\)
N°256035 \((B \cup \overline{C}) \cup \overline{(\overline{B} - A)}\)
N°256131 \((B \oplus \overline{C}) \cup \overline{(\overline{B} - A)}\)
N°256401 \((B \cup \overline{C}) \cup \overline{(\overline{B} \cap \overline{A})}\)
N°256411 \((B \cup \overline{C}) \cup (\overline{B} \oplus \overline{A})\)
N°256417 \((B \cup \overline{C}) \cup (\overline{B} - \overline{A})\)
N°256497 \((B \oplus \overline{C}) \cup \overline{(\overline{B} \cap \overline{A})}\)
N°258319 \((B \cup \overline{C}) \cup (C \cap A)\)
N°258333 \((B \cup \overline{C}) \cup \overline{(C \oplus A)}\)
N°258339 \((B \cup \overline{C}) \cup \overline{(C - A)}\)
N°258435 \((B \oplus \overline{C}) \cup \overline{(C - A)}\)
N°258531 \((B - \overline{C}) \cup \overline{(C - A)}\)
N°258705 \((B \cup \overline{C}) \cup \overline{(C \cap \overline{A})}\)
N°258715 \((B \cup \overline{C}) \cup (C \oplus \overline{A})\)
N°258721 \((B \cup \overline{C}) \cup (C - \overline{A})\)
N°258801 \((B \oplus \overline{C}) \cup \overline{(C \cap \overline{A})}\)
N°258897 \((B - \overline{C}) \cup \overline{(C \cap \overline{A})}\)
N°260629 \((B \cup \overline{C}) \cup (\overline{C} \cup A)\)
N°260635 \((B \cup \overline{C}) \cup (\overline{C} \oplus A)\)
N°260725 \((B \oplus \overline{C}) \cup (\overline{C} \cup A)\)
N°260821 \((B - \overline{C}) \cup (\overline{C} \cup A)\)
N°261015 \((B \cup \overline{C}) \cup \overline{(\overline{C} \cup \overline{A})}\)
N°261021 \((B \cup \overline{C}) \cup \overline{(\overline{C} \oplus \overline{A})}\)
N°264664 \(\overline{(\overline{B} - A)} \cup \overline{(A \cup C)}\)
N°264670 \(\overline{(\overline{B} - A)} \cup \overline{(A \oplus C)}\)
N°264854 \(\overline{(\overline{B} \cup A)} \cup (A \cup \overline{C})\)
N°264950 \(\overline{(\overline{B} \oplus A)} \cup (A \cup \overline{C})\)
N°265046 \(\overline{(\overline{B} - A)} \cup (A \cup \overline{C})\)
N°265052 \(\overline{(\overline{B} - A)} \cup (A \oplus \overline{C})\)
N°266770 \(\overline{(\overline{B} \cup A)} \cup \overline{(\overline{A} \cap C)}\)
N°266866 \(\overline{(\overline{B} \oplus A)} \cup \overline{(\overline{A} \cap C)}\)
N°266962 \(\overline{(\overline{B} - A)} \cup \overline{(\overline{A} \cap C)}\)
N°266972 \(\overline{(\overline{B} - A)} \cup (\overline{A} \oplus C)\)
N°266978 \(\overline{(\overline{B} - A)} \cup (\overline{A} - C)\)
N°267172 \(\overline{(\overline{B} \cup A)} \cup \overline{(\overline{A} - \overline{C})}\)
N°267268 \(\overline{(\overline{B} \oplus A)} \cup \overline{(\overline{A} - \overline{C})}\)
N°267344 \(\overline{(\overline{B} - A)} \cup (\overline{A} \cap \overline{C})\)
N°267358 \(\overline{(\overline{B} - A)} \cup \overline{(\overline{A} \oplus \overline{C})}\)
N°267364 \(\overline{(\overline{B} - A)} \cup \overline{(\overline{A} - \overline{C})}\)
N°269272 \(\overline{(\overline{B} - A)} \cup \overline{(B \cup C)}\)
N°269278 \(\overline{(\overline{B} - A)} \cup \overline{(B \oplus C)}\)
N°269365 \((\overline{B} \cap A) \cup (B \cup \overline{C})\)
N°269558 \(\overline{(\overline{B} \oplus A)} \cup (B \cup \overline{C})\)
N°269654 \(\overline{(\overline{B} - A)} \cup (B \cup \overline{C})\)
N°269660 \(\overline{(\overline{B} - A)} \cup (B \oplus \overline{C})\)
N°271281 \((\overline{B} \cap A) \cup \overline{(\overline{B} \cap C)}\)
N°271474 \(\overline{(\overline{B} \oplus A)} \cup \overline{(\overline{B} \cap C)}\)
N°271570 \(\overline{(\overline{B} - A)} \cup \overline{(\overline{B} \cap C)}\)
N°271580 \(\overline{(\overline{B} - A)} \cup (\overline{B} \oplus C)\)
N°271586 \(\overline{(\overline{B} - A)} \cup (\overline{B} - C)\)
N°271683 \((\overline{B} \cap A) \cup \overline{(\overline{B} - \overline{C})}\)
N°271876 \(\overline{(\overline{B} \oplus A)} \cup \overline{(\overline{B} - \overline{C})}\)
N°271952 \(\overline{(\overline{B} - A)} \cup (\overline{B} \cap \overline{C})\)
N°271966 \(\overline{(\overline{B} - A)} \cup \overline{(\overline{B} \oplus \overline{C})}\)
N°271972 \(\overline{(\overline{B} - A)} \cup \overline{(\overline{B} - \overline{C})}\)
N°272164 \(\overline{(\overline{B} \cup A)} \cup \overline{(C - A)}\)
N°272260 \(\overline{(\overline{B} \oplus A)} \cup \overline{(C - A)}\)
N°272344 \(\overline{(\overline{B} - A)} \cup \overline{(C \cup A)}\)
N°272350 \(\overline{(\overline{B} - A)} \cup \overline{(C \oplus A)}\)
N°272356 \(\overline{(\overline{B} - A)} \cup \overline{(C - A)}\)
N°272530 \(\overline{(\overline{B} \cup A)} \cup \overline{(C \cap \overline{A})}\)
N°272626 \(\overline{(\overline{B} \oplus A)} \cup \overline{(C \cap \overline{A})}\)
N°272722 \(\overline{(\overline{B} - A)} \cup \overline{(C \cap \overline{A})}\)
N°272732 \(\overline{(\overline{B} - A)} \cup (C \oplus \overline{A})\)
N°272835 \((\overline{B} \cap A) \cup \overline{(C - B)}\)
N°273028 \(\overline{(\overline{B} \oplus A)} \cup \overline{(C - B)}\)
N°273112 \(\overline{(\overline{B} - A)} \cup \overline{(C \cup B)}\)
N°273118 \(\overline{(\overline{B} - A)} \cup \overline{(C \oplus B)}\)
N°273124 \(\overline{(\overline{B} - A)} \cup \overline{(C - B)}\)
N°273201 \((\overline{B} \cap A) \cup \overline{(C \cap \overline{B})}\)
N°273394 \(\overline{(\overline{B} \oplus A)} \cup \overline{(C \cap \overline{B})}\)
N°273490 \(\overline{(\overline{B} - A)} \cup \overline{(C \cap \overline{B})}\)
N°273500 \(\overline{(\overline{B} - A)} \cup (C \oplus \overline{B})\)
N°273874 \(\overline{(\overline{B} - A)} \cup \overline{(C \cap C)}\)
N°273880 \(\overline{(\overline{B} - A)} \cup \overline{(C \cup C)}\)
N°274276 \(\overline{(\overline{B} - A)} \cup \overline{(C - \overline{C})}\)
N°274454 \(\overline{(\overline{B} \cup A)} \cup (\overline{C} \cup A)\)
N°274550 \(\overline{(\overline{B} \oplus A)} \cup (\overline{C} \cup A)\)
N°274646 \(\overline{(\overline{B} - A)} \cup (\overline{C} \cup A)\)
N°274652 \(\overline{(\overline{B} - A)} \cup (\overline{C} \oplus A)\)
N°274658 \(\overline{(\overline{B} - A)} \cup (\overline{C} - A)\)
N°275024 \(\overline{(\overline{B} - A)} \cup (\overline{C} \cap \overline{A})\)
N°275038 \(\overline{(\overline{B} - A)} \cup \overline{(\overline{C} \oplus \overline{A})}\)
N°275125 \((\overline{B} \cap A) \cup (\overline{C} \cup B)\)
N°275318 \(\overline{(\overline{B} \oplus A)} \cup (\overline{C} \cup B)\)
N°275414 \(\overline{(\overline{B} - A)} \cup (\overline{C} \cup B)\)
N°275420 \(\overline{(\overline{B} - A)} \cup (\overline{C} \oplus B)\)
N°275426 \(\overline{(\overline{B} - A)} \cup (\overline{C} - B)\)
N°275792 \(\overline{(\overline{B} - A)} \cup (\overline{C} \cap \overline{B})\)
N°275806 \(\overline{(\overline{B} - A)} \cup \overline{(\overline{C} \oplus \overline{B})}\)
N°276194 \(\overline{(\overline{B} - A)} \cup (\overline{C} - C)\)
N°276560 \(\overline{(\overline{B} - A)} \cup (\overline{C} \cap \overline{C})\)
N°276566 \(\overline{(\overline{B} - A)} \cup (\overline{C} \cup \overline{C})\)
N°278200 \(\overline{(\overline{B} \cap \overline{A})} \cup \overline{(A \cup C)}\)
N°278206 \(\overline{(\overline{B} \cap \overline{A})} \cup \overline{(A \oplus C)}\)
N°278582 \(\overline{(\overline{B} \cap \overline{A})} \cup (A \cup \overline{C})\)
N°278588 \(\overline{(\overline{B} \cap \overline{A})} \cup (A \oplus \overline{C})\)
N°278773 \((\overline{B} \oplus \overline{A}) \cup (A \cup \overline{C})\)
N°280498 \(\overline{(\overline{B} \cap \overline{A})} \cup \overline{(\overline{A} \cap C)}\)
N°280508 \(\overline{(\overline{B} \cap \overline{A})} \cup (\overline{A} \oplus C)\)
N°280514 \(\overline{(\overline{B} \cap \overline{A})} \cup (\overline{A} - C)\)
N°280689 \((\overline{B} \oplus \overline{A}) \cup \overline{(\overline{A} \cap C)}\)
N°280880 \(\overline{(\overline{B} \cap \overline{A})} \cup (\overline{A} \cap \overline{C})\)
N°280894 \(\overline{(\overline{B} \cap \overline{A})} \cup \overline{(\overline{A} \oplus \overline{C})}\)
N°280900 \(\overline{(\overline{B} \cap \overline{A})} \cup \overline{(\overline{A} - \overline{C})}\)
N°281091 \((\overline{B} \oplus \overline{A}) \cup \overline{(\overline{A} - \overline{C})}\)
N°282808 \(\overline{(\overline{B} \cap \overline{A})} \cup \overline{(B \cup C)}\)
N°282814 \(\overline{(\overline{B} \cap \overline{A})} \cup \overline{(B \oplus C)}\)
N°283190 \(\overline{(\overline{B} \cap \overline{A})} \cup (B \cup \overline{C})\)
N°283196 \(\overline{(\overline{B} \cap \overline{A})} \cup (B \oplus \overline{C})\)
N°283381 \((\overline{B} \oplus \overline{A}) \cup (B \cup \overline{C})\)
N°283477 \((\overline{B} - \overline{A}) \cup (B \cup \overline{C})\)
N°285106 \(\overline{(\overline{B} \cap \overline{A})} \cup \overline{(\overline{B} \cap C)}\)
N°285116 \(\overline{(\overline{B} \cap \overline{A})} \cup (\overline{B} \oplus C)\)
N°285122 \(\overline{(\overline{B} \cap \overline{A})} \cup (\overline{B} - C)\)
N°285297 \((\overline{B} \oplus \overline{A}) \cup \overline{(\overline{B} \cap C)}\)
N°285393 \((\overline{B} - \overline{A}) \cup \overline{(\overline{B} \cap C)}\)
N°285488 \(\overline{(\overline{B} \cap \overline{A})} \cup (\overline{B} \cap \overline{C})\)
N°285502 \(\overline{(\overline{B} \cap \overline{A})} \cup \overline{(\overline{B} \oplus \overline{C})}\)
N°285508 \(\overline{(\overline{B} \cap \overline{A})} \cup \overline{(\overline{B} - \overline{C})}\)
N°285699 \((\overline{B} \oplus \overline{A}) \cup \overline{(\overline{B} - \overline{C})}\)
N°285795 \((\overline{B} - \overline{A}) \cup \overline{(\overline{B} - \overline{C})}\)
N°285880 \(\overline{(\overline{B} \cap \overline{A})} \cup \overline{(C \cup A)}\)
N°285886 \(\overline{(\overline{B} \cap \overline{A})} \cup \overline{(C \oplus A)}\)
N°285892 \(\overline{(\overline{B} \cap \overline{A})} \cup \overline{(C - A)}\)
N°286083 \((\overline{B} \oplus \overline{A}) \cup \overline{(C - A)}\)
N°286258 \(\overline{(\overline{B} \cap \overline{A})} \cup \overline{(C \cap \overline{A})}\)
N°286268 \(\overline{(\overline{B} \cap \overline{A})} \cup (C \oplus \overline{A})\)
N°286449 \((\overline{B} \oplus \overline{A}) \cup \overline{(C \cap \overline{A})}\)
N°286648 \(\overline{(\overline{B} \cap \overline{A})} \cup \overline{(C \cup B)}\)
N°286654 \(\overline{(\overline{B} \cap \overline{A})} \cup \overline{(C \oplus B)}\)
N°286660 \(\overline{(\overline{B} \cap \overline{A})} \cup \overline{(C - B)}\)
N°286851 \((\overline{B} \oplus \overline{A}) \cup \overline{(C - B)}\)
N°286947 \((\overline{B} - \overline{A}) \cup \overline{(C - B)}\)
N°287026 \(\overline{(\overline{B} \cap \overline{A})} \cup \overline{(C \cap \overline{B})}\)
N°287036 \(\overline{(\overline{B} \cap \overline{A})} \cup (C \oplus \overline{B})\)
N°287217 \((\overline{B} \oplus \overline{A}) \cup \overline{(C \cap \overline{B})}\)
N°287313 \((\overline{B} - \overline{A}) \cup \overline{(C \cap \overline{B})}\)
N°287410 \(\overline{(\overline{B} \cap \overline{A})} \cup \overline{(C \cap C)}\)
N°287416 \(\overline{(\overline{B} \cap \overline{A})} \cup \overline{(C \cup C)}\)
N°287812 \(\overline{(\overline{B} \cap \overline{A})} \cup \overline{(C - \overline{C})}\)
N°288182 \(\overline{(\overline{B} \cap \overline{A})} \cup (\overline{C} \cup A)\)
N°288188 \(\overline{(\overline{B} \cap \overline{A})} \cup (\overline{C} \oplus A)\)
N°288194 \(\overline{(\overline{B} \cap \overline{A})} \cup (\overline{C} - A)\)
N°288373 \((\overline{B} \oplus \overline{A}) \cup (\overline{C} \cup A)\)
N°288560 \(\overline{(\overline{B} \cap \overline{A})} \cup (\overline{C} \cap \overline{A})\)
N°288574 \(\overline{(\overline{B} \cap \overline{A})} \cup \overline{(\overline{C} \oplus \overline{A})}\)
N°288950 \(\overline{(\overline{B} \cap \overline{A})} \cup (\overline{C} \cup B)\)
N°288956 \(\overline{(\overline{B} \cap \overline{A})} \cup (\overline{C} \oplus B)\)
N°288962 \(\overline{(\overline{B} \cap \overline{A})} \cup (\overline{C} - B)\)
N°289141 \((\overline{B} \oplus \overline{A}) \cup (\overline{C} \cup B)\)
N°289237 \((\overline{B} - \overline{A}) \cup (\overline{C} \cup B)\)
N°289328 \(\overline{(\overline{B} \cap \overline{A})} \cup (\overline{C} \cap \overline{B})\)
N°289342 \(\overline{(\overline{B} \cap \overline{A})} \cup \overline{(\overline{C} \oplus \overline{B})}\)
N°289730 \(\overline{(\overline{B} \cap \overline{A})} \cup (\overline{C} - C)\)
N°290096 \(\overline{(\overline{B} \cap \overline{A})} \cup (\overline{C} \cap \overline{C})\)
N°290102 \(\overline{(\overline{B} \cap \overline{A})} \cup (\overline{C} \cup \overline{C})\)
N°292694 \(\overline{(\overline{B} - B)} \cup (A \cup \overline{C})\)
N°294610 \(\overline{(\overline{B} - B)} \cup \overline{(\overline{A} \cap C)}\)
N°295012 \(\overline{(\overline{B} - B)} \cup \overline{(\overline{A} - \overline{C})}\)
N°300004 \(\overline{(\overline{B} - B)} \cup \overline{(C - A)}\)
N°300370 \(\overline{(\overline{B} - B)} \cup \overline{(C \cap \overline{A})}\)
N°302294 \(\overline{(\overline{B} - B)} \cup (\overline{C} \cup A)\)
N°306230 \(\overline{(\overline{B} \cap \overline{B})} \cup (A \cup \overline{C})\)
N°306326 \(\overline{(\overline{B} \cup \overline{B})} \cup (A \cup \overline{C})\)
N°308146 \(\overline{(\overline{B} \cap \overline{B})} \cup \overline{(\overline{A} \cap C)}\)
N°308242 \(\overline{(\overline{B} \cup \overline{B})} \cup \overline{(\overline{A} \cap C)}\)
N°308548 \(\overline{(\overline{B} \cap \overline{B})} \cup \overline{(\overline{A} - \overline{C})}\)
N°308644 \(\overline{(\overline{B} \cup \overline{B})} \cup \overline{(\overline{A} - \overline{C})}\)
N°313540 \(\overline{(\overline{B} \cap \overline{B})} \cup \overline{(C - A)}\)
N°313636 \(\overline{(\overline{B} \cup \overline{B})} \cup \overline{(C - A)}\)
N°313906 \(\overline{(\overline{B} \cap \overline{B})} \cup \overline{(C \cap \overline{A})}\)
N°314002 \(\overline{(\overline{B} \cup \overline{B})} \cup \overline{(C \cap \overline{A})}\)
N°315830 \(\overline{(\overline{B} \cap \overline{B})} \cup (\overline{C} \cup A)\)
N°315926 \(\overline{(\overline{B} \cup \overline{B})} \cup (\overline{C} \cup A)\)
N°318128 \(\overline{(\overline{B} \cap C)} \cup (A \cap A)\)