Considere a proposição: “O campus possui biblioteca ou possui laboratório de informática.” A negação lógica correta dessa proposição é: