AdjacencyGraph[amat] gives the graph with adjacency matrix amat.AdjacencyGraph[{v_1, v_2, ...}, amat] gives the graph with vertices v_i and adjacency matrix amat.

BooleanConvert[expr] converts the Boolean expression expr to disjunctive normal form.BooleanConvert[expr, form] converts the Boolean expression expr to the specified ...

BooleanMinimize[expr] finds a minimal-length disjunctive normal form representation of expr.BooleanMinimize[expr, form] finds a minimal-length representation for expr in the ...

Circle[{x, y}, r] is a two-dimensional graphics primitive that represents a circle of radius r centered at the point x, y. Circle[{x, y}] gives a circle of radius 1. ...

Flatten[list] flattens out nested lists. Flatten[list, n] flattens to level n. Flatten[list, n, h] flattens subexpressions with head h. Flatten[list, {{s_11, s_12, ...}, ...

Floor[x] gives the greatest integer less than or equal to x. Floor[x, a] gives the greatest multiple of a less than or equal to x.

FullForm[expr] prints as the full form of expr, with no special syntax.

GeneratingFunction[expr, n, x] gives the generating function in x for the sequence whose n\[Null]^th series coefficient is given by the expression ...

Im[z] gives the imaginary part of the complex number z.

Listable is an attribute that can be assigned to a symbol f to indicate that the function f should automatically be threaded over lists that appear as its arguments.