Logical Equality: equality, connective, Equality (mathematics), Boolean algebra (logic), biconditional, Propositional calculus, Function Truth value, Mathematics

XNOR Gate: Logic Gate, Logical Equality, XOR Kronecker Delta, Biconditional

Logical Connective: Sentence (linguistics), Formal language, Natural Syntax (logic), Truth value, Function...

Propositional Calculus: Calculus. Interpretation (logic), Logical graph, Truth value, connective, Formal system,...

Algebra of Sets: Set (mathematics), Union (set theory), Intersection Complement Binary relation, Equality (mathematics)