сайты - меню - вход - но­во­сти


Задания
Версия для печати и копирования в MS Word

На­пи­сать усло­вие того, что на поле ни на одной вер­ти­ка­ли не может сто­ять ровно одна фи­гу­ра. В ка­че­стве при­ме­ра при­ве­де­на за­пись усло­вия того, что рядом с любой синей фи­гу­рой стоит дру­гая синяя фи­гу­ра.

Спрятать решение

Ре­ше­ние.

Усло­вие можно пе­ре­фор­му­ли­ро­вать так: «Если на поле стоит фи­гу­ра, то найдётся фи­гу­ра, сто­я­щая выше или ниже её, но не левее и не пра­вее».

 

Ответ: в фор­маль­ной за­пи­си: ДЛЯ ВСЕХ х СУ­ЩЕ­СТВУ­ЕТ у ТАКОЙ, ЧТО (((х выше у) ИЛИ (у выше х)) И (НЕ ВЕРНО, ЧТО (х левее у) И (НЕ ВЕРНО, ЧТО (у левее х)).