Высказывание А ↔ В истинно, тогда и только тогда, когда пж по быстрей уменя тест 30 минут даль пж
A<->B ((A->B)*(B->A)) истинно, если A==B Таким символом обозначается эквиваленция