Задание №1. В коробке лежат шары – деревянные и пластмассовые, большие и маленькие, зеленые и красные

В коробке лежат шары – деревянные и пластмассовые, большие и маленькие, зеленые и красные. Из коробки надо достать шар, соблюдая следующие правила:

1. Шар может быть деревянным только тогда, когда он маленький и зеленый;

2. Если шар маленький, то для того, чтобы он был пластмассовым, достаточно, чтобы он не был зеленым.

3. Если шар маленький и красный, то он деревянный.

Известно, что эти правила сводятся к двум простейшим условиям. Когда же вынули шар, оказалось, что из двух простейших условий выполнено только одно. Кроме того, о вынутом шаре известно, что он либо зеленый, либо большой и деревянный. Какой шар вынули из коробки? (20 баллов)

Задание №2. Приведите формулу к минимальной КНФ:

(10 баллов)