and gate and-inverter graph argument form associativity binary and binary numeral system bitstring bitwise operation boolean-valued function boolean conjunctive query boolean domain boolean function commutativity computer networking conjunction introduction contradiction database distributivity exclusive or first-order logic grammar grammatical conjunction ip address idempotence logic logic gate logical nor logical biconditional logical connective logical disjunction logical graph mathematics multiplication negation peano-russell notation predicate logic proposition propositional calculus rhetoric sql set theory sheffer stroke short-circuit evaluation subnetwork truth table truth value universal quantification validity venn diagram