Const
Threads the logical connective eqv, also known as bidirectional implication, through all the nodes of a boolean tree and returns the boolean result.
eqv
Threads the logical connective
eqv, also known as bidirectional implication, through all the nodes of a boolean tree and returns the boolean result.