Mal:Setningslogikk

Fra Wikisida.no
Sideversjon per 2. mar. 2018 kl. 01:36 av wmno>Tholme
(diff) ← Eldre sideversjon | Nåværende sideversjon (diff) | Nyere sideversjon → (diff)
Hopp til navigering Hopp til søk

Setningslogikk

Sannhetstabell (0 = usant, 1 = sant):

A B
usant A og B A, men
ikke B 		A ikke A,
men B 		B enten A
eller B 		A eller B verken A
eller B 		hviss A,
så B 		ikke B A hvis B ikke A hvis A,
så B 		A NAND B sant
0
0
1
1 		0
1
0
1
0
0
0
0 		0
0
0
1 		0
0
1
0 		0
0
1
1 		0
1
0
0 		0
1
0
1 		0
1
1
0 		0
1
1
1 		1
0
0
0 		1
0
0
1 		1
0
1
0 		1
0
1
1 		1
1
0
0 		1
1
0
1 		1
1
1
0 		1
1
1
1

Sannhetsfunksjoner: abjunksjon | adjunksjon | alternativ | antivalens | bisubjunksjon | disjunksjon | eksklusjon | ekvijunksjon | ekvivalens | implikasjon | injunksjon | konjunksjon | kontrajunksjon | kontravalens | negasjon | subjunksjon

Hentet fra «https://www.wikisida.no/index.php?title=Mal:Setningslogikk&oldid=28145»