Задача:
Все котята либо серые, либо чёрные.
Если котёнок серый, то он мяукает.
Если котёнок не мяукает, то он не умеет лазать по деревьям.
Если котёнок чёрный, то он сидит на дереве.

Не стесняемся голосуем )))
А то мы тут с коллегами скоро за бутылкой побежим.

Ой, не туда ткнул

1.  X?Y=?  
   X?Y=C
2.  X?Z
3.  ?Z ? ?W
4.  Y?W

Из 3. и 4. Следует  Z?W?Y , отсюда Y?Z,
А так как 1., то получаем Z=C
Т.е. все котята мяукают