Simplify

Simplify[expr] attempts to perform simplification operations on expr.

Attributes[Simplify] := {Protected}

Simple examples

Simplify can simplify some boolean expressions.

In[1]:= Simplify[b && b]
Out[1]= b

In[2]:= Simplify[a && b && Not[b]]
Out[2]= False

In[3]:= Simplify[(a || b) && (a || c)]
Out[3]= a || (b && c)

In[4]:= Simplify[a || (Not[a] && b)]
Out[4]= a || b

In[5]:= Simplify[a || b || Not[a] || Not[b]]
Out[5]= True