Mathematica Tutorial

Relational and Logical Operators

xy	equal (also input as x = y)
xy	unequal (also input as x ≠ y)
x>y	greater than
x>=y	greater than or equal to (also input as x ≥ y)
x<y	less than
x<=y	less than or equal to (also input as x ≤ y)
xyz	all equal
xyz	all unequal (distinct)
x>y>z, etc.	strictly decreasing, etc.

Relational operators.

This tests whether 10 is less than 7. The result is False.

Not all of these numbers are unequal, so this gives False.

You can mix < and <=.

Since both of the quantities involved are numeric, Mathematica can determine that this is true.

Mathematica does not know whether this is true or false.

!p	not (also input as ¬p)
p&&q&&...	and (also input as p q ... )
p\|\|q\|\|...	or (also input as p q ... )
Xor[p,q,...]	exclusive or (also input as p q ... )
Nand[p,q,...] and Nor[p,q,...]
	nand and nor (also input as and )
If[p,then,else]	give then if p is True, and else if p is False
LogicalExpand[expr]	expand out logical expressions