Related terms:
lor
neg
xor
nand
neg p
neg q
vdash
supset
forall
boolean
bitwise
operand
operands
negation
soundness
implication
truth value
truth table
conjunction
biconditional
leftrightarrow
propositional
quantification
boolean algebra
logical operators
logical implication
logical disjunction
logical connectives
propositional logic
logically equivalent
Wikipedia sources:
Logical disjunction
Boolean algebra (logic)
Truth table
Propositional calculus
Either
Symbolic logic
Entailment
Logical connective
Vertical bar
Relational algebra
Quantification
Boolean data type
Context for words:
disjunction
|
|