Информатика, 10-11 Бурцев Н.П.: 3.2 Импликация и эквиваленция