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