Коллоквиум по теме "Исчисление высказываний", часть II

Добро пожаловать во вторую часть коллоквиума по теме "Исчисление высказываний".

В заданиях этой части Вам предлагается решить задачу.

Правила выполнения задания:

1. Проверьте, что чистые листочки, ручка, чай, кофе, шоколадки всё ещё с Вами.
2. Убедитесь, что телефон, планшет или другое устройство, с помощью которого можно "сфотографировать" работу, всё ещё заряжено и находится под рукой.
3. Вам будет предложена одна задача. Необходимо на листе зафиксировать свою фамилию и написать решение.
4. Если в задаче требуется что-то доказать, то все переходы в доказательстве должны быть строго обоснованными.
5. Не скупитесь на комментарии, но в то же время старайтесь обходиться символами там, где это возможно и разумно.
6. На выполнение задания отводится 25 минут.
7. Вам будет предложено загрузить файл. Сфотографируйте ответ и загрузите. Убедитесь, что имя файла не содержит пробелов.

Несколько аналогичных советов.

Будьте внимательны при ответе, не торопитесь - 20 минут вполне достаточно, чтобы сформулировать решение (если Вы, конечно, понимаете, что от Вас требуется). Ещё 5 на проверку написанного и загрузку фото. Задание можно выполнить только один раз!

Рекомендую запускать тест на телефоне или планшете, через который будете фотографировать - на мой взгляд, это позволит сэкономить немного времени. Также можно не тратить время на обрезку и удобный ракурс. Главное - чтобы всё читалось.