konjunktion

i formell logik: motsvarigheten till vardagsspråkets och. – Om man binder ihop två påståenden med OCH måste båda vara sanna, annars anses det sammansatta påståendet vara falskt. I formell logik används tecknet ∧ för konjunktion, i programmering ofta engelska AND. (Även tecknen · 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 san­nings­värde­tabell för konjunktion ser ut så här:

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

A B A∧B
sant sant sant
sant falskt falskt
falskt sant falskt
falskt falskt falskt

[logik] [programmering] [ändrad 8 juni 2017]