Sannhetsverdier
Sannhetsverdier
>
P:=not p: L:=[p]:
>
SannhetsTabell(P,L);
Dersom
er et
sant
utsagn så er ikke (
not
)
p
et
usant
utsagn og motsatt.
>
P:=p and q: L:=[p,q]:
>
SannhetsTabell(P,L);
>
P:=not p: L:=[p]:
>
SannhetsTabell(P,L,bit);
>
P:=p and q: L:=[p,q]:
>
SannhetsTabell(P,L,bit);
>
P:=p or q: L:=[p,q]:
>
SannhetsTabell(P,L);
>
P:=p implies q: L:=[p,q]:
>
SannhetsTabell(P,L);