Bramka NOR – jeden z funktorów zdaniowych rachunku zdań; dwuargumentowa funkcja boolowska (funktor logiczny) realizująca zaprzeczoną sumę logiczną (NOTOR) – jest prawdziwa wtedy i tylko wtedy, gdy oba składniki są fałszywe[1]. Odpowiada wyrażeniu „ani … ani…”. Jego znaczenie przedstawia poniższa tablica prawdy:
Symbol bramki logicznej NOR
A
B
A NOR B
0
0
1
0
1
0
1
0
0
1
1
0
Sposoby zapisu bramki NOR
– spójnik Sheffera[2], przedstawiana za pomocą symbolu ↓ (pionowa kreska „|” przechodząca przez symbol alternatywy „” dwóch argumentów, co oznacza jej logiczną negację)
A NOR B
A ⊽ B – z użyciem symbolu ⊽ (U+22BD)
– gdzie symbol oznacza alternatywę (OR) natomiast kreska negację wyrażenia znajdującego się pod nią
– jak wyżej z użyciem symbolu negacji ¬
– zanegowana suma logiczna
Wyrażanie funkcji boolowskiej w logice NOR
Jako że w bramki logiczne NAND i NOR są tańsze w produkcji niż AND i OR, a ponadto zapewniają stałość amplitudy sygnału wyjściowego, w faktycznych układach cyfrowych są one stosowane częściej niż „zwykłe” AND i OR.