Seja K a expressão lógica: ¬(P ^ (Q v ¬P))

Em que:

“^” representa “e”;
“v” representa “ou”;
“¬” representa “negação”;
” representa “nand”.

O que será obtido após a simplificação de K?