Related terms:
neg
vee
lnot
lor b
lor c
lor q
arity
lnot p
land b
supset
emptyset
truth value
disjunction
homomorphism
biconditional
propositional
leftrightarrow
satisfiability
heyting algebra
logically valid
boolean algebra
natural deduction
universal algebra
compactness theorem
logical connectives
propositional logic
distributive lattice
propositional calculus
propositional variables
boolean satisfiability problem
Wikipedia sources:
Exclusive or
Lattice (order)
First-order logic
Singlish
Tautology (logic)
Boolean algebra (structure)
Logical disjunction
Propositional calculus
The Weekenders
Entailment
Logical connective
Model theory
Boolean satisfiability problem
Context for words:
lor
|
|