José não é rico ou Pablo não é comerciante.

José não é rico e Pablo não é comerciante.

José é comerciante e Pablo é rico.

José não é comerciante ou Pablo não é rico.

Se José é rico, então Pablo é comerciante.