Даны высказывания:
A = «Эйфелева башня находится в Париже»,
B = «Красноярск находится в Сибири»,
C = «Москва – столица России».
Из этих высказываний составлено новое высказывание «Если Эйфелева башня находится в Париже и Красноярск находится в Сибири, то Москва – столица России». Тогда, заменив в этом высказывании операцию импликации на операцию эквиваленции, получим высказывание:
«Если Эйфелева башня находится в Париже или Красноярск находится в Сибири, то Москва – столица России»
«Если Эйфелева башня находится в Париже, то Красноярск находится в Сибири и Москва – столица России»
«Эйфелева башня находится в Париже тогда и только тогда, когда Красноярск находится в Сибири и Москва – столица России»
«Эйфелева башня находится в Париже и Красноярск находится в Сибири тогда и только тогда, когда Москва – столица России»