Banis di de Morgan

Banis di de Morgan (Boros Inggilis: de Morgan's laws) nopo nga' tongo tilin popiomut do tongo osimban don Boole (Boolean variables) maya' tolu katandaan: OM (AND), TOI (OR), miampai KON (NOT).

Latanon

Maya wayagait koubasan id sidwangun dorud (electrical engineering) hingkaa govit do banis di de Morgan:

${\overline {XY}}={\overline {X}}+{\overline {Y}}\quad {\textrm {toi}}\quad (XY)\neg =X\neg +Y\neg$

${\overline {X+Y}}={\overline {X}}{\overline {Y}}\quad {\textrm {toi}}\quad (X+Y)\neg =X\neg Y\neg$

Duo toi lobi osimban poinrayat nopo pamagait do katandaan OM, it tonduk habpang, $+$ pamagait do katandaan TOI, om it tuku id kaas do osimban hingkaa (roitan do tukukaas toi overline) toi tonduk $\neg$ pamagait do katandaan KON.

Poomitanan boros tokud Python

Banis diti okinam maya' hisok (code) mamakai do boros tokud Lopung (Python) hingkaa:

X = False #Nunu nopo gatang
Y = True #Nunu nopo gatang

Z = not (X and Y)
if (Z == ((not X) or (not Y))):
    print("Otopot")

Z = not (X or Y)
if (Z == ((not X) and (not Y))):
    print("Otopot")

Nung kinaman oinsanan gatang kawasa do $X$ om $Y$ pasa pampang do induo ootus Otopot.