Mal:Setningslogikk

Legg til lenke
Fra Wikipedia, den frie encyklopedi

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 | inklusiv disjunksjon (adjunksjon) | bisubjunksjon (ekvijunksjon,ekvivalens) | eksklusjon | subjunksjon (implikasjon) | injunksjon | konjunksjon | eksklusiv disjunksjon (alternativ, antivalens, kontrajunksjon, kontravalens) | negasjon

Hentet fra «https://no.wikipedia.org/w/index.php?title=Mal:Setningslogikk&oldid=24307597»