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

With origins stretching back several centuries, discrete calculus is now an increasingly central methodology for many problems related to discrete systems and algorithms. ...

You will find the Documentation Center, Function Navigator, and Virtual Book essential in learning Mathematica's vast programming language and functionality.

BesselJ[n, z] gives the Bessel function of the first kind J_n (z).

Nand[e_1, e_2, ...] is the logical NAND function. It evaluates its arguments in order, giving True immediately if any of them are False, and False if they are all True.

True is the symbol for the Boolean value true.

MapAt[f, expr, n] applies f to the element at position n in expr. If n is negative, the position is counted from the end. MapAt[f, expr, {i, j, ...}] applies f to the part of ...

Now that we have introduced the basic features of patterns in Mathematica, we can use them to give a more or less complete example. We will show how you could define your own ...

Maximize[f, x] maximizes f with respect to x.Maximize[f, {x, y, ...}] maximizes f with respect to x, y, .... Maximize[{f, cons}, {x, y, ...}] maximizes f subject to the ...

MinValue[f, x] gives the minimum value of f with respect to x.MinValue[f, {x, y, ...}] gives the minimum value of f with respect to x, y, .... MinValue[{f, cons}, {x, y, ...