:?:

условие:
неС :arrow: П
значит:
неП :arrow: С
толькоП :arrow: С

понятно что первый вариант (П :arrow: неС) НЕ является правильной трансформацией