Malaŭo

En logiko malaŭoKomputada Leksikono, ReVo. aŭ nekoKomputada Leksikono. estas duloka operacio Bulea, iam signata per ⊽, NEK, ↓ aŭ /; ĝi esprimeblas per la kombinaĵo

x⊽y = ¬(x∨y) = (¬x) ∧ (¬y)

La esprimon x⊽y oni voĉlegu «ikso malaŭ ipsilono», aŭ «nek ikso, nek ipsilono». La vertabelo:

 x  0 0 1 1
 y  0 1 1 0
 --------------
 x↓y 1 0 0 0

Malaŭo estas speciale interesa tial, ke ajna Bulea funkcio estas esprimebla per tiu sola operacio:

 x ⊽ x = ¬x ∧ ¬x = ¬x;
 (x⊽y) ⊽ (x⊽y) = x ∨ y
 (x⊽x) ⊽ (y⊽y) = ¬(¬x∧¬x ∨ ¬(¬y ∧ ¬y)) = ¬¬x ∧ ¬¬y = x ∧ y

 Noto 

Kategorio:Bulea algebro