Если правильно поняла знак инверсии(т.е логическое отрицание) перед скобкой распространяется на скобку (В конъюнкция (т.е логич умножение) инверсия А) и на следующую (А дизъюнкция (т.е логичекое сложение) С),а связывает скобки дизъюнкция! =)
вобще меня учитель учил это делать так:
Использовать Роботалгначесли справа свободно и не сверху свободно товправовсенц пока справа свободно и сверху свободновправокцнц пока не сверху свободно и снизу свободнозакраситьвправокцесли не снизу свободно и не сверху свободно и справа свободно то вправо всенц пока справа свободнозакраситьвправокцкон