Boolean Logic

Equal

Compare values for equality.

$ wo 'Equal[1, 1]'
True

$ wo 'Equal[1, 2]'
False

$ wo 'Equal[1, 1, 1]'
True

==

Check if values are equal to each other.

$ wo '2 == 2'
True

$ wo 'x = 2; x == 2'
True

$ wo '2 == 3'
False

Unequal

Compare values for inequality.

$ wo 'Unequal[1, 1]'
False

$ wo 'Unequal[1, 2]'
True

$ wo 'Unequal[1, 1, 1]'
False

!=

Check if values are not equal to each other.

$ wo '2 != 2'
False

$ wo 'x = 2; x != 2'
False

$ wo '2 != 3'
True

Greater

Check if values are greater than each other.

$ wo 'Greater[2, 1]'
True

$ wo 'Greater[1, 2]'
False

$ wo 'Greater[1, 1]'
False

$ wo 'Greater[1, 2, 3]'
False

$ wo 'Greater[3, 2, 1]'
True

>

Check if values are greater than each other.

$ wo '2 > 1'
True

$ wo '1 > 2'
False

Less

Check if values are less than each other.

$ wo 'Less[1, 2]'
True

$ wo 'Less[2, 1]'
False

$ wo 'Less[1, 1]'
False

$ wo 'Less[1, 2, 3]'
True

$ wo 'Less[3, 2, 1]'
False

<

Check if values are greater than each other.

$ wo '1 < 2'
True

$ wo '2 < 1'
False

GreaterEqual

Check if values are greater than or equal to each other.

$ wo 'GreaterEqual[2, 1]'
True

$ wo 'GreaterEqual[1, 2]'
False

$ wo 'GreaterEqual[1, 1]'
True

$ wo 'GreaterEqual[1, 2, 3]'
False

$ wo 'GreaterEqual[3, 2, 1]'
True

>=

$ wo '2 >= 1'
True

$ wo '1 >= 2'
False

LessEqual

Check if values are less than or equal to each other.

$ wo 'LessEqual[1, 2]'
True

$ wo 'LessEqual[2, 1]'
False

$ wo 'LessEqual[1, 1]'
True

$ wo 'LessEqual[1, 2, 3]'
True

$ wo 'LessEqual[3, 2, 1]'
False

<=

$ wo '1 <= 2'
True

$ wo '2 <= 2'
True

$ wo '2 <= 1'
False

Multiple comparisons

$ wo 'x = 1; 0 <= x <= 2'
True

$ wo 'x = 1; 0 < x < 2'
True

$ wo 'x = 1; 0 > x < 2'
False

$ wo 'x = 1; 0 < x > 2'
False

And

Logical AND operation.

$ wo 'And[True, True]'
True

$ wo 'And[True, False]'
False

$ wo 'And[False, True]'
False

$ wo 'And[False, False]'
False

$ wo 'And[True, True, True]'
True

$ wo 'And[True, False, True]'
False

Or

Logical OR operation.

$ wo 'Or[True, True]'
True

$ wo 'Or[True, False]'
True

$ wo 'Or[False, True]'
True

$ wo 'Or[False, False]'
False

$ wo 'Or[True, True, True]'
True

$ wo 'Or[True, False, True]'
True

Not

Logical NOT operation.

$ wo 'Not[True]'
False

$ wo 'Not[False]'
True

$ wo 'Not[True, True]'

Not::argx: Not called with 2 arguments; 1 argument is expected.
Not[True, True]

Xor

Logical XOR operation.

$ wo 'Xor[True, True]'
False

$ wo 'Xor[True, False]'
True

$ wo 'Xor[False, True]'
True

$ wo 'Xor[False, False]'
False

$ wo 'Xor[True, True, True]'
True

$ wo 'Xor[True, True, False]'
False

If

Conditional operation.

$ wo 'If[True, 1]'
1

$ wo 'If[False, 1]'
Null

$ wo 'If[True, 1, 0]'
1

$ wo 'If[False, 1, 0]'
0

$ wo 'If["x", 1, 0, 2]'
2

$ wo 'If[True, 1, 0, 2, 3]'

If::argb: If called with 5 arguments; between 2 and 4 arguments are expected.
If[True, 1, 0, 2, 3]

IntegerQ

Check if a value is an integer.

$ wo 'IntegerQ[5]'
True

$ wo 'IntegerQ[0]'
True

$ wo 'IntegerQ[-7]'
True

$ wo 'IntegerQ[3.0]'
True

$ wo 'IntegerQ[3.5]'
False

$ wo 'IntegerQ[1.2]'
False

$ wo 'IntegerQ[-0.5]'
False

$ wo 'IntegerQ[0.0]'
True

$ wo 'IntegerQ[a]'
False

EvenQ

Check if a number is even.

$ wo 'EvenQ[2]'
True

$ wo 'EvenQ[3]'
False

$ wo 'EvenQ[0]'
True

$ wo 'EvenQ[-4]'
False

$ wo 'EvenQ[-2]'
False

$ wo 'EvenQ[100]'
True

$ wo 'EvenQ[1.5]'
False

OddQ

Check if a number is odd.

$ wo 'OddQ[3]'
True

$ wo 'OddQ[2]'
False

$ wo 'OddQ[0]'
False

$ wo 'OddQ[-3]'
True

$ wo 'OddQ[-4]'
True

$ wo 'OddQ[101]'
True

$ wo 'OddQ[2.5]'
False

AllTrue

Check if all elements in a list satisfy a condition.

$ wo 'AllTrue[{2, 4, 6}, EvenQ]'
True

$ wo 'AllTrue[{2, 3, 4}, EvenQ]'
False

$ wo 'AllTrue[{1, 3, 6}, 1 <= # <= 6 &]'
True