Original: Logical equality is a logical operator that corresponds to equality in Boolean algebra and to the logical biconditional in propositional calculus.
Simplified: Logical equality is a logical operation.