Related terms:
lor
lnot
equiv
true
land b
false
wedge
valid
bitwise
boolean
logic
operand
logical
operands
negation
analytic
disjunction
socrates
truth table
produces
conjunction
argument form
rightarrow
therefore
leftrightarrow
propositional
contradiction
boolean algebra
logical operators
logical connectives
Wikipedia sources:
Existence
Liar paradox
Logical connective
Validity
Exclusive or
Boolean data type
Tautology (logic)
Logical conjunction
Logical disjunction
Context for words:
truth
value
|
|