A negação da proposição “Pedro digita e Carla não trabalha” é: