Intaai wowonod montok do 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<ref>https://www.oxfordreference.com/display/10.1093/oi/authority.20110803095709902?p=emailAorp8zfgZ36co&d=/10.1093/oi/authority.20110803095709902</ref>:

<math>\overline{XY} = \overline{X} + \overline{Y} \quad \textrm{toi} \quad (XY)\neg = X\neg + Y\neg</math>

<math>\overline{X+Y} = \overline{X} \overline{Y} \quad \textrm{toi} \quad (X+Y)\neg = X\neg Y\neg</math>

Duo toi lobi osimban poinrayat nopo pamagait do katandaan '''OM''', it tonduk habpang, <math>+</math> pamagait do katandaan '''TOI''', om it tuku id <span style="text-decoration:overline">kaas do osimban hingkaa</span> (roitan do tukukaas toi ''overline'') toi tonduk <math>\neg</math> pamagait do katandaan '''KON'''.

== Poomitanan boros tokud Python ==
Banis diti okinam maya' hisok (''code'') mamakai do boros tokud Lopung (''Python'') hingkaa:
<syntaxhighlight lang="python" line start="1">
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")
</syntaxhighlight>

Nung kinaman oinsanan gatang kawasa do <math>X</math> om <math>Y</math> pasa pampang do induo ootus <code>Otopot</code>.<ref>https://gist.github.com/andergisomon/3d935a0b68222ccdccf806d529a45ae8</ref>

== Sukuon ==