Составить таблицы истинности

перемещает­ся по плоскости; при опущенном — оставляет след в виде линии. Исполнитель может выполнять команды:
1) сместиться в точку (а, b), перемещающую Чертёжника из точки с координатами (х, у) в точку с координатами (а, b);
2) сместиться на вектор (а, b), перемещающий Чертёжника из точки с координатами (х, у) в точку с координатами (x+а, у+b).
Для повторения k раз некоторой последовательности команд используется запись:
нц к раз
команда1 команда2 командаЗ
кц
а) Определите, что будет нарисовано после выполнения Чертёжником программы:

поднять перо
сместиться в точку (3, 1)
опустить перо
сместиться на вектор (2, 0)
сместиться на вектор (1,1)
сместиться на вектор (-4, 0)
сместиться в точку (3,1)
поднять перо
сместиться на вектор (1,1)
опустить перо
сместиться на вектор (0, 3)
сместиться на вектор (1, -2)
сместиться на вектор (-1, -1)

АЛАН БИЛЛ ДЖОН КАРЛ КЛОД ЛИНУС ЧАРЛЬЗ
БЭББИДЖ ГЕЙТС ЛИННЕЙ НЕЙМАН ТОРВАЛЬДС ТЬЮРИНГ ШЕННОН

F=X&YvX
F=(AvB)&(¬BvAvB)

1. (А*В)<-> (В*А)
2.(А->В)-> (А->отрицание В)-> отрицание А

7. Три ученика из разных школ на вопрос, в какой школе учатся, ответили:
Артем: я учусь в школе №534, а Кирилл - в школе №76
Кирилл: я учусь в школе №534, а Артем - в школе №105
Максим:я учусь в школе № 534, а Артем - в школе №76
Каждый из них сказал правду и один из раз солгал. В каких школах учатся Артем, Кирилл, Максим??
Люди напишите решение пожалуйста,