Если кто понимает, можете подсказать какие теоремы вывести из набора гипотез {не а, не б, а коньюнкция б, а дизьюнкция б} по 11 аксиомам?
Уже все что мог вроде перебрал, всякие херни, а преподу надо, сука, больше. Фантазии нет. Может кто хелпанет, пожалуйста, есть идейки?