Эквивалентность может обозначаться как...

• A ¬ B
• A & B
• A ˄ B
• A + B
• A ˅ B
• A ● B
• A → B
• A ← B
• A ↔ B