Capabilities that define a new kind of dynamic interactive computing.
FindIndependentVertexSet[g] finds an independent vertex set of the graph g with a maximum number of vertices.
And
(Built-in Mathematica Symbol) e_1 && e_2 && ... is the logical AND function. It evaluates its arguments in order, giving False immediately if any of them are False, and True if they are all True.
IndependentEdgeSetQ[g, elist] yields True if the edge list elist is an independent edge set of the graph g, and False otherwise.
SetAlphaChannel[image] adds a fully opaque alpha channel to image.SetAlphaChannel[image, a] sets the opacity of all pixels to a.SetAlphaChannel[image, aimage] sets the alpha ...
GraphUnion[g_1, g_2] gives the graph union of the graphs g_1 and g_2.GraphUnion[g_1, g_2, ...] gives the graph union of g_1, g_2, ....
FindIndependentEdgeSet[g] finds an independent edge set of the graph g with a maximum number of edges.
Implies
(Built-in Mathematica Symbol) Implies[p, q] represents the logical implication p \[DoubleRightArrow] q.
Mathematica 7 extends its general treatment of lists and matrices by adding a variety of convenient functions, including support for common convolution and structure matrices.
Nor
(Built-in Mathematica Symbol) Nor[e_1, e_2, ...] is the logical NOR function. It evaluates its arguments in order, giving False immediately if any of them are True, and True if they are all False.