boolean-algebra logic Definition Conjunction The conjunction a∧b is a binary operation that maps to true if a and b are both true. Truth Table ABA∧B000010100111 Circuit Notation IEC 60617-12 US ANSI 91-1984