Сделайте заключение о сдаче зачёта, если известно, если 1-й студент сдал зачёт, то либо

Сделайте заключение о сдаче зачёта, если известно, если 1-й студент сдал зачёт, то либо 2-й, либо 3-й студент его не сдал, а если 3-й сдал, то 1-й не сдал.

Обозначим высказывания: А = «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-й не сдали.