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}=\bar{X}+\bar{Y}\text{toi}(XY)\mathrm{\neg }=X\mathrm{\neg }+Y\mathrm{\neg }$

$\overline{X+Y}=\bar{X}\bar{Y}\text{toi}(X+Y)\mathrm{\neg }=X\mathrm{\neg }Y\mathrm{\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 $\mathrm{\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.