The Wolfram Language provides various ways to set up conditionals, which specify that particular expressions should be evaluated only if certain conditions hold.

lhs:=rhs/;testuse the definition only if test evaluates to True
If[test,then,else]evaluate then if test is True, and else if it is False
Which[test1,value1,test2,]evaluate the testi in turn, giving the value associated with the first one that is True
Switch[expr,form1,value1,form2,]compare expr with each of the formi, giving the value associated with the first form it matches
Switch[expr,form1,value1,form2,,_,def]use def as a default value
Piecewise[{{value1,test1},},def]give the value corresponding to the first testi which yields True

Conditional constructs.

The test gives False, so the "else" expression y is returned:
Click for copyable input
Only the "else" expression is evaluated in this case:
Click for copyable input

When you write programs in the Wolfram Language, you will often have a choice between making a single definition whose righthand side involves several branches controlled by If functions, or making several definitions, each controlled by an appropriate /; condition. By using several definitions, you can often produce programs that are both clearer, and easier to modify.

This defines a step function, with value 1 for x>0, and -1 otherwise:
Click for copyable input
This defines the positive part of the step function using a /; condition:
Click for copyable input
Here is the negative part of the step function:
Click for copyable input
This shows the complete definition using /; conditions:
Click for copyable input

The function If provides a way to choose between two alternatives. Often, however, there will be more than two alternatives. One way to handle this is to use a nested set of If functions. Usually, however, it is instead better to use functions like Which and Switch.

This defines a function with three regions. Using True as the third test makes this the default case:
Click for copyable input
This uses the first case in the Which:
Click for copyable input
This uses the third case:
Click for copyable input
This defines a function that depends on the values of its argument modulo 3:
Click for copyable input
Mod[7,3] is 1, so this uses the second case in the Switch:
Click for copyable input
17 matches neither 0 nor 1, but does match _:
Click for copyable input

An important point about symbolic systems such as the Wolfram Language is that the conditions you give may yield neither True nor False. Thus, for example, the condition x==y does not yield True or False unless x and y have specific values, such as numerical ones.

In this case, the test gives neither True nor False, so both branches in the If remain unevaluated:
Click for copyable input
You can add a special fourth argument to If, which is used if the test does not yield True or False:
Click for copyable input
If[test,then,else,unknown]a form of If which includes the expression to use if test is neither True nor False
TrueQ[expr]give True if expr is True, and False otherwise
lhs===rhsorSameQ[lhs,rhs]give True if lhs and rhs are identical, and False otherwise
lhs=!=rhsorUnsameQ[lhs,rhs]give True if lhs and rhs are not identical, and False otherwise
MatchQ[expr,form]give True if the pattern form matches expr, and give False otherwise

Functions for dealing with symbolic conditions.

The Wolfram Language leaves this as a symbolic equation:
Click for copyable input
Unless expr is manifestly True, TrueQ[expr] effectively assumes that expr is False:
Click for copyable input
Unlike ==, === tests whether two expressions are manifestly identical. In this case, they are not:
Click for copyable input

The main difference between lhs===rhs and lhs==rhs is that === always returns True or False, whereas == can leave its input in symbolic form, representing a symbolic equation, as discussed in "Equations". You should typically use === when you want to test the structure of an expression, and == if you want to test mathematical equality. The Wolfram Language pattern matcher effectively uses === to determine when one literal expression matches another.

You can use === to test the structure of expressions:
Click for copyable input
The == operator gives a less useful result:
Click for copyable input

In setting up conditionals, you will often need to use combinations of tests, such as test1&&test2&&. An important point is that the result from this combination of tests will be False if any of the testi yield False. The Wolfram Language always evaluates the testi in turn, stopping if any of the testi yield False.

expr1&&expr2&&expr3evaluate until one of the expri is found to be False
expr1||expr2||expr3evaluate until one of the expri is found to be True

Evaluation of logical expressions.

This function involves a combination of two tests:
Click for copyable input
Here both tests are evaluated:
Click for copyable input
Here the first test yields False, so the second test is not tried. The second test would involve 1/0, and would generate an error:
Click for copyable input

The way that the Wolfram Language evaluates logical expressions allows you to combine sequences of tests where later tests may make sense only if the earlier ones are satisfied. The behavior, which is analogous to that found in languages such as C, is convenient in constructing many kinds of Wolfram Language programs.