Dizer que não é verdade que Pedro é pobre e Alberto é alto, é logicamente equivalente a dizer que é verdade que:
Pedro não é pobre ou Alberto não é alto.
Pedro não é pobre e Alberto não é alto.
Pedro é pobre ou Alberto não é alto.
se Pedro não é pobre, então Alberto é alto.
se Pedro não é pobre, então Alberto não é alto.
