De forma similar, a proposição abaixo origina a operação NOR no projeto de circuitos lógicos:

A expressão lógica correspondente é obtida da mesma forma, pelos seguintes passos:

1º) Substituição do símbolo dentro do parêntese:

~(P+Q)

2º) Se a negação está atuando no parêntese todo e não apenas em uma proposição simples qualquer, então a “barra” inversora da expressão lógica deverá ficar sobre o parêntese inteiro:

Assim, obtém-se a Negação da operação OR, denominada de NOR na notação dos circuitos lógicos digitais.