Условие:
Запишите на языке логики высказываний:
Если Коля бегает регулярно, он не ленив.
Коля не ленив, поскольку бегает регулярно.
Если Коля и Маша бегают регулярно, то и Вася тоже.
Если либо Маша, либо Коля бегают регулярно, то и Вася тоже.

Запишите на языке логики высказываний:
Если Коля бегает регулярно, он не ленив.
Коля не ленив, поскольку бегает регулярно.
Если Коля и Маша бегают регулярно, то и Вася тоже.
Если либо Маша, либо Коля бегают регулярно, то и Вася тоже.
Для записи данных утверждений на языке логики высказываний, сначала определим некоторые обозначения:

Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит
Попробуй решить по шагам
Попробуй один шаг и продолжи в режиме обучения или посмотри готовое решение