konjunktion

i formell logik: motsvarighet till vardagsspråkets och. – Om man binder ihop två påståenden med OCH i formell logik och programmering måste båda vara sanna, annars anses det sammansatta påståendet som helhet vara falskt. I formell logik används tecknet ∧ för konjunktion, i programmering ofta engelska AND. Även tecknen · (upphöjd punkt) och & förekommer. – Sökvillkoret ”A AND B” tar, om man använder det i en sökmotor på webben, fram webbsidor som innehåller både A och B – men inte sidor som bara nämner ett av dem. Alltså: om man söker på ”sill AND brännvin” får man upp alla sidor som nämner både sill och brännvin (inte nödvändigtvis intill varandra), men inte sidor som nämner bara ett av orden. (Se och‑förval.) – Se också det omvända, NAND. – En sanningsvärde­tabell för konjunktion ser ut så här:

– ”Båda påståendena A och B är sanna” (A∧B) :

[logik] [programmering] [ändrad 8 oktober 2019]