Minimální negační operátor

V logice a matematice je operátor minimální negace víceúrovňový operátor, kde každý z nich je k-ary booleovskou funkcí definovanou tak, že tehdy a jen tehdy, když přesně jeden z argumentů je 0.

V kontextech, kde se rozumí počátečnímu písmenu, mohou být slova mno označena seznamy argumentů v závorkách. První čtyři členové této rodiny operátorů jsou uvedeny níže, s parafrázemi v několika dalších notacích, kde vlnovky a prvočísla označují logickou negaci.

Lze také poznamenat, že je stejná funkce jako a , A že inkluzivní disjunkce uvedené pro a pro mohou být nahrazeny exkluzivní disjunkce, aniž by to mělo vliv na význam, protože termíny disjoined jsou již disjunktní. Nicméně, funkce není stejná věc jako funkce .