4.1.1.1 条件判断(論理式)

関係演算子、論理演算子は C 言語のそれに良く似ている:

		 a == b 		 等しいか？ 

a != b 		 等しくないか？ 

a $<$ b 		a は b より小さいか？ 

a $>$ b 		a は b より大きいか？ 

a $<=$ b 		a は b より小さいか、等しい？ 

a $>=$ b 		a は b より大きいか？ 

&& 		 「かつ」. 

$\vert\vert$ 「または」.

! 		 「否定」.  

論理式の値は、False = 偽, True= 真, である。次の例を試し てみること。

		1+1 == 2

2^3 == 7

1 < 2 < 3

2 != 3

LogicalExpand[!(p && q)]] 		 De Morgan の法則