A negação da função lógica representada pela expressão ABC+A+B+C equivale a