Логическая операция, позволяющая из двух высказываний А и В получить новое высказывание А ≡ В – это...