De Morgan ê hoat-chek

De Morgan ê hoat-chek (Eng. De Morgan's laws) sī koan-î bīng-tē lô-chi̍p ê chi̍t-tùi hoat-chek, i hō· Eng-kok ê sò·-ha̍k-ka Augustus de Morgan hoat-hiān.

Iōng Venn tô͘ (Venn diagram) piáu-sī De Morgan ê hoat-chek. Teh tó chi̍t-chióng ê chêng-hóng hā, kiat-kó lóng sī līm-hô nâ-sek im-iáⁿ hā ê só͘-iú tiám chi chi̍p-ha̍p.

Lōe-iông

Tī chi̍p-ha̍p lāi-té:

$\left(A\cap B\right)^{C}=A^{C}\cup B^{C}$

$\left(A\cup B\right)^{C}=A^{C}\cap B^{C}$

Kái-soeh

Lán kah kun-kù ki-pún bēng-tê p, q ê līm-ì bēng-tê sǹg-hû P(o,q,...) ê tùi-giô tēng-gī chò:

$\neg {\mbox{P}}^{d}(\neg p,\neg q,...)$

Gōa-pō͘ liân-kiat

• sò·-ha̍k ê sè-kài: De Morgan ê hoat-chek