And of an expression over all True/False assignments of the given variables (minimized)
Conjunction[expr, {a1, a2, …}]
Conjunction[f[a, b], {a, b}]
→ f[True, True] && f[True, False] && f[False, True] && f[False, False]Conjunction[Implies[a, b], {b}]
→ !aConjunction[f[i, j], {i, j}]
→ f[True, True] && f[True, False] && f[False, True] && f[False, False]