Carlos é professor se João é engenheiro.

João não é engenheiro e Carlos não é professor.

João não é engenheiro ou Carlos não é professor.

se João é engenheiro, então, Carlos não é professor.

se Carlos não é professor, então, João é engenheiro.