verifiable
truthy
CBE
switching function
Boolean atom
truth function
guard
bool
disjunctive normal form
true
falsy
conjunctive normal form
truthiness
Boolean function
TRUE
deducible
tribool
ring sum normal form
Boolean logic
OR gate
NOT gate
NOR gate
switching algebra
determinablism
FALSE
explicable
Boolean algebra
quantify
educible
event tree
logic gate
AND gate
bitvector
inferential
evaluable
inducible
inferentially
material implication
attributable
difference
traductive
zweckrationality
caveat
Quine-McCluskey algorithm
confirmable
bivariably
Boolean
derivable
drawable
bitarray
deniable
falsiness
bounderish
S
boorishness
Boolean lattice
denotation
determinably
interpretable
negation
explainable
Boole
consensus theorem
monome
interpretorial
George Boole
minterm
interpretership
Boolean variable
exactable
supposably
booable
binary operation
boolean operation
anagrammatist
booleanize
boobytrap
normable
binary arithmetic operation
loop invariant
noticeable
difference gate
purifiability
calculability
predictable
representationally
equivalence
discernible
Cartesian
bearability
prime implicant
fault tree
formula
argumentation