Задача на метод резолюции.

[kola1357]

Подскажите как составить логические выражения к такой задачи.

Все двоечники списывают у отличников или хорошистов. Некоторые двоечники пьют виски. Незнайка и Гунька двоечники, Знайка отличник.
Кто у кого списывает.

Подскажите, пожалуйста, литературу, в которой есть задачи на такую тему с разбором, чтобы хорошо разобраться на примерах.

[_Ivana]

Мне (на мой дилетантский взгляд) понравилось вот это