b'\n_START_ARTICLE_\nDe Morganin lait\n_START_SECTION_\nTodistus\n_START_PARAGRAPH_\n\\overline{A \\cap B}=\\overline{A} \\cup \\overline{B} jos ja vain jos \\overline{A \\cap B}\\subseteq\\overline{A} \\cup \\overline{B} ja \\overline{A \\cap B}\\supseteq\\overline{A} \\cup \\overline{B}._NEWLINE__NEWLINE_mielivaltaiselle x:lle:_NEWLINE_\\subseteq:_NEWLINE_x \\in \\overline{A \\cap B}_NEWLINE_x \\notin {A \\cap B}_NEWLINE_x \\notin A tai x \\notin B_NEWLINE_x \\in \\overline A tai x \\in \\overline B_NEWLINE_x \\in \\overline A \\cup \\overline B_NEWLINE_Joten \\overline{A \\cap B}\\subseteq\\overline{A} \\cup \\overline{B}_NEWLINE_\\supseteq:_NEWLINE_x \\in \\overline A \\cup \\overline B_NEWLINE_x \\in \\overline A tai x \\in \\overline B_NEWLINE_x \\notin A tai x \\notin B_NEWLINE_x \\notin {A \\cap B}_NEWLINE_x \\in \\overline{A \\cap B}_NEWLINE_Joten \\overline{A \\cap B}\\supseteq\\overline{A} \\cup \\overline{B}_NEWLINE_\\overline{A \\cap B}\\subseteq\\overline{A} \\cup \\overline{B} ja \\overline{A \\cap B}\\supseteq\\overline{A} \\cup \\overline{B} joten \\overline{A \\cap B}= \\overline{A} \\cup \\overline{B}_NEWLINE_\\overline{A \\cup B}=\\overline{A} \\cap \\overline{B} voidaan todistaa k\xc3\xa4ytt\xc3\xa4m\xc3\xa4ll\xc3\xa4 samanlaista menetelm\xc3\xa4\xc3\xa4.'