Conjunction

Conjunction[expr, {a1, a2, ...}] gives the conjunction of expr over all choices of the Boolean variables ai.

Examples

Conjunction over Boolean variables:

Conjunction[a || b, {a, b}]
(* True *)

Test if expr is always true:

Conjunction[a && !a, {a}]
(* False *)

Please visit the official Wolfram Language Reference for more details.