logic Definition Conjunction The conjunction is a binary logical connective. For formulas A and B, the formula A∧B is true exactly when both A and B are true, and false otherwise. Truth Table ABA∧B000010100111 Circuit Notation IEC 60617-12 US ANSI 91-1984