next up previous
Next: 2.6.13 Type operations Up: 2.6 Expressions Previous: 2.6.11 Relations

2.6.12 Boolean operations


 		prefix 		 NOT 		 (p: BOOLEAN)   : BOOLEAN
		infix 		 AND 		 (p,q: BOOLEAN) : BOOLEAN
		infix 		 OR 		 (p,q: BOOLEAN) : BOOLEAN  
NOT p is the complement of p.

p AND q is TRUE if both p and q are TRUE. If p is FALSE, q is not evaluated.

p OR q is TRUE if at least one of p and q is TRUE. If p is TRUE, q is not evaluated.



m3-support@elego.de