Öppna huvudmenyn
Uppslagsordet ”Och” leder hit. För tecknet &, se Et-tecken.
Venndiagram för

Inom logik och matematik är konjunktion ett konnektiv, som betecknas med symbolen eller symbolen , och utläses som "och". En sats, vars delar är förbundna med detta konnektiv kallas, även denna, för en konjunktion. En sådan sats är sann, om och endast om alla dess operander är sanna.

AND ANSI.svg
 Logisk operator (Logisk grind
Se även

Med A och B symboliserande påståenden, utläses satsen A B som: A och B. Den skall således tolkas som sann, om och endast om båda satserna är sanna. Konnektivet , kan tillsammans med exempelvis konnektivet för negation uttrycka varje annat konnektiv inom satslogiken.

Inom boolesk algebra skrivs konjunktion med multiplikationstecknet "·".

SanningsvärdetabellRedigera

F = Falsk och S = Sann.

p q pq
F F F
F S F
S F F
S S S

Med beteckningar enligt boolesk algebra. Siffrorna 0 och 1 motsvarar sanningsvärdena Falsk respektive Sann.

p q p · q
0 0 0
0 1 0
1 0 0
1 1 1

Tekniska lösningarRedigera

I elektriska kretsar, pneumatik, hydraulik, mekanik etcetera kan funktioner som motsvarar konjunktioner realiseras, som i kombination med andra logiska funktioner kan byggas ihop till komplex funtionalitet. Några exempel:

SeriekopplingRedigera

Om till exempel två brytare kopplas i serie med en lampa måste båda brytarna vara till för att lampan ska lysa. Om en eller båda brytarna är från lyser den ej.

 

AND-grindRedigera

I digitaltekniken realiseras samma funktion som ett logiskt byggblock, en AND-grind. "Värdena" är här signalena "hög" och "låg" som motsvarar bestämda spänningsintervall. Dessa betecknas vanligen med H för hög och L för låg.

 
(IEC symbol)
 
(US symbol)
A B Y
L L L
L H L
H L L
H H H

Ett integrerat kretsblock som tillhandahåller AND-grindar är till exempel 7408 som innehåller fyra separata grindar.

KällorRedigera

  • Göran Hermerén, Logik, Studentlitteratur, Lund 1967.
  • Konrad Marc-Wogau, Modern Logik, Bonniers 1950.
  • Geoffrey Hunter, Metalogic. An Introduction to the Metatheory of Standard First-Order Logic, MacMillan, London 1971.
  • Elliott Mendelson, Elementary Logic, Oxford University Press, London 1965.
  • Georg Henrik von Wright, Logik, Filosofi och Språk, Aldus, 1957.

Externa länkarRedigera