СРОЧНО! Проверить правильность рассуждений при помощ табличного метода (логика)

((p->~q) ^(s->q )) -> ((~р v s) ->q)
((p->~c) ^( q->))->~c

при помощи карена, всё правильно.

А теперь расшифруй свои каракули и задай вопрос нормально