По мат логике разобрался как решать СДНФ, так теперь плющит уже пол-часа от радости, будто уже все сдал... Надо продолжать зубрить, а я сижу подпеваю любимым песенкам и троллю Макушева. Когда же отпустит? =/