Wolfram Language & System 10.4 (2016)|Legacy Documentation
This is documentation for an earlier version of the Wolfram Language.View current documentation (Version 11.2)
|x==y||equal (also input as )|
|x!=y||unequal (also input as )|
|x>=y||greater than or equal to (also input as )|
|x<=y||less than or equal to (also input as )|
|x!=y!=z||all unequal (distinct)|
|x>y>z, etc.||strictly decreasing, etc.|
This tests whether is less than . The result is False.
Not all of these numbers are unequal, so this gives False.
Since both of the quantities involved are numeric, the Wolfram Language can determine that this is true.
|!p||not (also input as p)|
|p&&q&&…||and (also input as )|
|p||q||…||or (also input as )|
|Xor[p,q,…]||exclusive or (also input as )|
|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|
You can use LogicalExpand to expand out the terms.