шифровки утверждений:
НЕ с - п
*( г + з)
*( г + НЕ с)

(можно соединить первое и третье *(г + НЕ с + п) )

варианты:

1. *( з + НЕ г + с)
2. *( г + с + з)
3. *( г + п)
4. г. и п. - НЕ с

можно сразу отметить 4, потому что оно общее, а следовать из утверждений в условии могут только частные??
НЕ ШИФРУЯ ВСЕ 4 варианта?
И ВООБЩЕ, ШИФРОВКИ ПРАВИЛЬНЫЕ??

:ye