De Morqan qanunları
De Morqan qanunları — Şotland riyaziyyatçısı Avqust de Morqan (1806-1871) adı ilə adlandırılıb. Avqust de Morqan ilk dəfə bu xassəni dəqiq ifadə etmiş və tam araşdırmışdır. Təkliflər hesabının (nəzəriyyəsinin) xassəsi. Bu xassə təkliflərin konyuksiyasının (dizyunksiyasının) inkarının onların inkarının dizyunksiyası (konyuksiyası) ilə eyniqiymətli olduğunu müəyyənləşdirir. Başqa sözlə A ∧ B ¯ = A ¯ ∨ B ¯ {\displaystyle {\overline {A\land B}}={\overline {A}}\lor {\overline {B}}} və A ∨ B ¯ = A ¯ ∧ B ¯ . {\displaystyle {\overline {A\lor B}}={\overline {A}}\land {\overline {B}}.} De-Morqan qanunları istənilən Bul cəbrində, xüsusi halda, çoxluqlar cəbrində doğrudur. İxtiyari A ⊂ U , B ⊂ U {\displaystyle A\subset U,B\subset U} çoxluqları üçün ( A ∩ B ) ′ = A ′ ∪ B ′ , ( A ∪ B ) ′ = A ′ ∩ B ′ , {\displaystyle (A\cap B)^{\prime }=A^{\prime }\cup B^{\prime },(A\cup B)^{\prime }=A^{\prime }\cap B^{\prime },} Burada X ′ = U ∖ X {\displaystyle X^{\prime }=U\backslash X} , ( X ⊂ U ) {\displaystyle (X\subset U)} - tamamlama əməlidir.