Дискретка. Метод резолюции. Опции

[HelpPliz]

2) Методом резолюции доказать, что

{A-->B, C-->D, D-->B, B v C v D} |- B v C

кто поможет большое спасибо...