Предположим что ψ, 𝑋, 𝑌 формулы. Докажите: Ψ и Y логчески эквивалентны если и только если ψ ↔ 𝑌 тавтология.

Эквивалентные функции это функции, имеющие одинаковое значение.

Докажем, если и Y логически эквивалентны, то 𝑌

Пусть = Y =1 , 11=1

Пусть = Y =0 , 00=1, т.е. если и Y логчески экв...