Логической операции эквивалентность (~) соответствует логическая связка «тогда, и только тогда», а не «если, то».

Отрицание содержится в каждом из простых высказываний.

Отрицание содержится в каждом из простых высказываний и высказывания соединены логической операцией импликация .