Dizer que “Rafael não é paciente ou Joana é saudável” é equivalente a dizer que:

Se Joana é saudável, então Rafael é paciente.

Se Rafael é paciente, então Joana é saudável.

Se Rafael não é paciente, então Joana é saudável.

Se Rafael não é paciente, então Joana não é saudável.

Se Rafael é paciente, então Joana não é saudável.