Nicht

x || !x == 1

x oder »nicht x« ist immer 1.... meint man. Diese Formel enthält in der Digitaltechnik aber einen Schönheitsfehler. Das Problem heißt »statischer 1 Hazard«. Wenn x von 1 nach 0 wechselt, dann ist der erste Teil der der Funktion schon 0, während im 2. Teil die Negation noch in Arbeit ist. Als Folge davon sieht die Oder-Verknüpfung kurzzeitig zwei Nullen am Eingang, also 0 || 0, und das ist bekanntlich 0. Deshalb liefert die digitale Implementierung der Funktion x || !x kurzzeitig 0, bei jedem Übergang von x von 1 nach 0.