Сергей
СРОЧНО! Проверить правильность рассуждений при помощ табличного метода (логика)
((p->~q) ^(s->q )) -> ((~р v s) ->q)
((p->~c) ^( q->))->~c
((p->~q) ^(s->q )) -> ((~р v s) ->q)
((p->~c) ^( q->))->~c
А теперь расшифруй свои каракули и задай вопрос нормально
при помощи карена, всё правильно.