A negação da proposição “André não é solteiro ou Bruno é casado” é