Conjunction[expr, {a_1, a_2, ...}] gives the conjunction of expr over all choices of the Boolean variables a_i.

Disjunction[expr, {a_1, a_2, ...}] gives the disjunction of expr over all choices of the Boolean variables a_i.

The introduction of Mathematica 6 in 2007 represented a revolutionary redefinition of Mathematica. Arriving only 18 months after Mathematica 6, Mathematica 7 represents ...

ExponentialDistribution[\[Lambda]] represents an exponential distribution with scale inversely proportional to parameter \[Lambda].

NProbability[pred, x \[Distributed] dist] gives the numerical probability for an event that satisfies the predicate pred under the assumption that x follows the probability ...

Mathematica has over 3000 built-in functions and other objects, all based on a single unified framework, and all carefully designed to work together, both in simple ...

Probability[pred, x \[Distributed] dist] gives the probability for an event that satisfies the predicate pred under the assumption that x follows the probability distribution ...

CopulaDistribution[ker, {dist_1, dist_2, ...}] represents a copula distribution with kernel distribution ker and marginal distributions dist_1, dist_2, ....