ЗАДАНИЕ 1. ФОРМАЛИЗАЦИЯ ВЫСКАЗЫВАНИЙ 1. Формализовать высказывания с логических переменных и
символов логических операций.
1) Если защитить все лабораторные работы и написать контрольный тест,
то можно набрать а это означает возможность получить «автомат».
2) Если защищать лабораторную работу без отчета или не написать
контрольный тест, то теряется возможность получить «автомат».
3) Если пропустить лекцию и не написать реферат, то из рейтинга
вычитаются а значит, в итоге можно не дотянуть до «автомата».
4) Если при защите лабораторных блеснуть дополнительными знаниями,
то можно заработать дополнительно а следовательно повысить
семестровый рейтинг и может быть заработать «автомат».
5) Если пропускать занятия или вовремя не отрабатывать пропуски, то к
концу семестра можно «утонуть» в долгах и не выйти на сессию