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

В фор­му­ле ис­поль­зу­ют­ся сле­ду­ю­щие обо­зна­че­ния:

Фишки обо­зна­ча­ют­ся пе­ре­мен­ны­ми x, y, z. Про­стые свой­ства опи­сы­ва­ют­ся та­ки­ми вы­ра­же­ни­я­ми как «x синий», «y крас­ный», «z жел­тый», «x сосед y» (по­след­нее озна­ча­ет, что фишки стоят на раз­лич­ных клет­ках, у ко­то­рых есть общая сто­ро­на или угол). Для за­пи­си более слож­ных свойств ис­поль­зу­ют­ся ло­ги­че­ские связ­ки, ко­то­рые со­еди­ня­ют про­стые свой­ства:

И, ИЛИ, НЕ ВЕРНО ЧТО, СЛЕ­ДО­ВА­ТЕЛЬ­НО, ТОГДА И ТОЛЬ­КО ТОГДА, ДЛЯ ВСЕХ x, СУ­ЩЕ­СТВУ­ЕТ x ТАКОЙ, ЧТО (вме­сто x можно ис­поль­зо­вать y или z).

Для упо­ря­до­че­ния свя­зок ис­поль­зу­ют­ся круг­лые скоб­ки. В ка­че­стве на­чаль­но­го ре­ше­ния вве­де­на фор­му­ла, ко­то­рая не верна для обоих кар­ти­нок.