Malaŭo
En logiko malaŭo[1] aŭ neko[2] 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