Сделайте заключение о сдаче зачёта если известно

Обозначим высказывания:
А = «1-й студент сдал зачёт»;
В= «2-й студент сдал зачёт»;
С= «3-й студент сдал зачёт».
Имеем условия А→(B+C)&(C→A).
Приведем полученную формулу к ДНФ, используя соотношения a→b=a⋁b; и a+b=ab⋁ab.
A→B+C&C→A=A⋁B+CC⋁A=
=A⋁BC⋁BCC⋁A=A⋁BC.
Таким образом,
A⋁BC=1.
Вывод: 2-й студент сдал зачёт, а 1-й и 3-й не сдали.