С помощью логической операции эквивалентность из высказываний A и B получается высказывание, которое

• истинно, когда истинно высказывание B
• истинно, когда оба высказывания A и B истинны
• не может быть ни истинным, ни ложным
• истинно, когда оба высказывания A и B истинны, или оба ложны