17. Опишите высказывание «Если студент Сидоров добросовестно выполнял все задания по информатике, то он успешно сдаст зачёт по этому предмету в конце семестра» с помощью символов алгебры логики: А. x→y; Б. x∧y; В. x∨y.

Обозначим x — «студент Сидоров добросовестно выполнял все задания по информатике», y — «он успешно сдаст зачёт по этому предмету в конце семестра». Слово «если …, то …» задаёт импликацию.

Ответ: А. x→y.