LogicalExpand[expr] expands out logical combinations of equations, inequalities, and other functions.

Options[symbol] gives the list of default options assigned to a symbol. Options[expr] gives the options explicitly specified in a particular expression such as a graphics ...

SatisfiabilityInstances[bf] attempts to find a choice of variables that makes the Boolean function bf yield True.SatisfiabilityInstances[expr, {a_1, a_2, ...}] attempts to ...

Xnor[e_1, e_2, ...] is the logical XNOR (not XOR) function. It gives True if an even number of the e_i are True, and the rest are False. It gives False if an odd number of ...

When you do symbolic calculations, it is quite easy to end up with extremely complicated expressions. Often, you will not even want to see the complete result of a ...

When you give a list of equations to Solve, it assumes that you want all the equations to be satisfied simultaneously. It is also possible to give Solve more complicated ...

RevolutionPlot3D[f_z, {t, t_min, t_max}] generates a plot of the surface of revolution with height f_z at radius t.RevolutionPlot3D[f_z, {t, t_min, t_max}, {\[Theta], ...

BoundedDiagram[{{a_1, b_1}, ...}, {{x_1, y_1}, ...}] yields the bounded Voronoi diagram of the points {x_1, y_1}, {x_2, y_2} ..., where the bound is the convex polygon formed ...

VoronoiDiagram[{{x_1, y_1}, {x_2, y_2}, ...}] yields the planar Voronoi diagram of the points {x_1, y_1}, {x_2, y_2}, ....VoronoiDiagram[{{x_1, y_1}, {x_2, y_2}, ...}, val] ...

$MaxNumber gives the maximum arbitrary-precision number that can be represented on a particular computer system.