boolean-algebra logic Definition Disjunction The disjunction a∨b is a binary operation that maps to true if a or b or both are true. Truth Table ABA∨B000011101111 Circuit Notation IEC 60617-12 US ANSI 91-1984