Sannhetsverdier 

 

Sannhetsverdier 

> P:=not p: L:=[p]:
 

> SannhetsTabell(P,L);
 

Matrix(%id = 174258604)
 

Dersom p er et santS utsagn så er ikke (not) p et usantU utsagn og motsatt. 

> P:=p and q: L:=[p,q]:
 

> SannhetsTabell(P,L);
 

Matrix(%id = 175857044)
 

> P:=not p: L:=[p]:
 

> SannhetsTabell(P,L,bit);
 

Matrix(%id = 174208588)
 

> P:=p and q: L:=[p,q]:
 

> SannhetsTabell(P,L,bit);
 

Matrix(%id = 174191672)
 

> P:=p or q: L:=[p,q]:
 

> SannhetsTabell(P,L);
 

Matrix(%id = 174158396)
 

> P:=p implies q: L:=[p,q]:
 

> SannhetsTabell(P,L);
 

Matrix(%id = 181665792)