Bitwise operation
article-link
What links here
Logical biconditional
Logical equivalence
article-link
Truth value
article-link
Exclusive or
article-link
Linearity
article-link
Universal quantification
article-link
Axiom of extensionality
article-link
Natural deduction
article-link
Monoid
article-link
Propositional logic
article-link
Logical connective
article-link
Identity element
article-link
If and only if
article-link
First-order logic
article-link
Biconditional elimination
article-link
Biconditional introduction
article-link
Associative property
article-link
Biconditional
redirect