Translate the following inference to logic notation: John is sad or it is not sunny. It is cloudy if and only if John is sad. It is snowing or it is cloudy. It is not snowing or it is sunny. Therefore John is sad.
p or ~q. r <-> p. s or r. ~s or q. Therefore p.