Условие задачи
Решите логическую задачу.
Четыре студентки А, В, С, D посещают институт по очереди и ведут общий конспект лекций. Необходимо составить график посещений на ближайшую неделю, учитывая, что:
1) Понедельник – день самостоятельной работы на курсе, и в институт не ходит никто, а в субботу необходимо быть всем (контрольная по математике).
2) С и D не смогут пойти на занятия во вторник в связи с большой загруженностью в понедельник.
3) Если С выйдет в среду или D – в четверг, то В согласится пойти на занятия в пятницу.
4) Если А не пойдет в ВУЗ в четверг, то В сходит туда в среду.
5) Если А или D будут в институте в среду, то С сможет пойти в пятницу.
6) Если D в пятницу вместо института пойдет на свадьбу подруги, то А придется сходить в институт во вторник, а С – в четверг.
Ответ
Для получения графика посещения необходимо составить формулы, отображающие элементарные высказывания в соответствии с днями недели, используя логические операции.
Введем обозначения для высказываний касательно посещения института студенткой: Хk студентка Х посетила институт в k-тый день недели (k от 1 до 6). Таким образом, получаем следующие высказывания:
