logikoperationer

Logikoperationer, eller booleska operationer, är grundläggande byggstenar inom logik, datavetenskap och digital elektronik. De tar ett eller flera booleaniska värden (sant eller falskt) och returnerar ett nytt värde. Genom sådana operationer kan villkor, beslut och logiska kretsar beskrivas och beräknas.

De mest använda logikoperatorerna är konjunktion (AND), disjunktion (OR) och negation (NOT). Konjunktion ger sant endast om båda operandena är sanna. Disjunktion ger sant om minst en operand är sann. Negation inverterar ett värde. Ytterligare operationer är exklusiv eller (XOR), sant om exakt en av operandena är sann; NAND och NOR, som är negationerna av konjunktion respektive disjunktion. I formell logik används även implikation (A → B) och ekvivalens (A ↔ B).

Sanningsfördelningar visualiseras i sanningsscheman som anger utfall för varje kombination av operandvärden. Logikoperationer utgör grunden för boolesk algebra, som används för att förenkla utsagor och för att designa digitala kretsar med grindar som AND, OR, NOT, samt NAND och NOR. De underliggande reglerna, som De Morgans lagar, associativitet och distributiva lagar, underlättar förenkling och optimering.

Inom programmering kan operatorerna uttryckas med ord eller symboler, och syntaxen varierar mellan språk. Till exempel används ofta && för logisk OCH, || för logisk ELLER och ! för negation; XOR förekommer som ^ i vissa språk. Booleska uttryck används även i sökningar, filtrering och villkorssatser.