Vizualizare sursă pentru „SAU-NU logic”

[[Image:NOR ANSI Labelled.svg|thumb|right|150px|[[Poartă logică]] NOR]]
Funcția '''SAU-NU logic''', este în [[algebră booleană|algebra booleană]] o funcție de adevăr logică care produce negarea rezultatului unei funcții logice "SAU". În engleză SAU-NU este notat prin "NOR". '''NOR logic''' sau ''negația disjuncției'' este un [[operator (matematică)|operator]] logic [[logică booleană|boolean]] care produce un rezultat invers [[disjuncție logică|disjuncției logice]]. Adică, (''not or''), ''p'' NOR ''q'' este adevărat atunci când ''p'' și ''q'' au ambele valoarea ''fals''.  

Operatorul NOR este cunoscut și ca '''operație Webb''' sau '''săgeată Peirce''', numită după [[Charles Peirce]] care a demonstrat că orice operație logică se poate scrie ca o expresie bazată pe operația NOR. Așadar, ca și în cazul [[NAND logic|operatorului NAND]], NOR poate fi folosit ca bază, fără nici un alt operator logic, pentru un sistem logic formal (NOR devenind astfel [[completitudine funcțională|funcțional complet]]).

==Definiție==

'''Operația NOR''' este o [[operație logică]] asupra două [[valoare logică|valori logice]], de obicei valorile a două [[propoziție|propoziții]], care produce o valoare de ''adevărat'' [[dacă și numai dacă]] ambii operanzi au valoarea ''fals''. Cu alte cuvinte, produce valoarea ''fals'' dacă și numai dacă cel puțin unul dintre operanzi are valoarea ''adevărat''.

[[Tabel de adevăr|Tabelul de adevăr]] a lui '''p NOR q''' (scris și '''p&nbsp;&perp;&nbsp;q''' sau '''p&nbsp;&darr;&nbsp;q''') este următorul:

{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:45%"
|+ '''NOR logic'''
|- style="background:paleturquoise"
! style="width:15%" | p
! style="width:15%" | q
! style="width:15%" | p &darr; q
|-
| F || F || A
|-
| F || A || F
|-
| A || F || F
|-
| A || A || F
|}
<br>

O modalitate de a exprima ''p'' NOR ''q'' este <math>\overline{p \lor q}</math>, unde simbolul <math>\lor</math> semnifică OR, iar bara de deasupra expresiei semnifică negația expresiei de sub bară. În esență, <math>\neg(p \lor q)</math>.

==Negația disjuncției==
NOR are proprietatea interesantă că toți ceilalți operatori logici pot fi exprimați prin diverse funcții cu NOR.
{|
|-
|"non ''p''" este echivalent cu "''p'' NOR ''p''"
|<math>\overline{p} \equiv \overline{p + p}</math>
|-
|"''p'' și ''q''" este echivalent cu "(''p'' NOR ''p'') NOR (''q'' NOR ''q'')"
|<math>p \cdot q \equiv \overline{\overline{(p + p)} + \overline{(q + q)}}</math>
|-
|"''p'' sau ''q''" este echivalent cu "(''p'' NOR ''q'') NOR (''p'' NOR ''q'')"
|<math>p + q \equiv \overline{\overline{(p + q)} + \overline{(p + q)}}</math>
|-
|"''p'' implică ''q''" este echivalent cu "((''p'' NOR ''q'') NOR ''q'') NOR ((''p'' NOR ''q'') NOR ''q'')"
|<math>p \rightarrow q \equiv \overline{\overline{(\overline{(p+q)} + q)}+\overline{(\overline{(p + q)} + q)}}</math>
|}

Și operatorul [[operația lui Sheffer|NAND logic]] are capacitatea de a exprima toate operațiile logice.

[[Computer]]ul folosit în naveta spațială care a transportat pentru prima dată oameni pe [[lună]], [[Apollo Guidance Computer]], a fost construit complet numai din porți NOR cu trei intrări.

== Poartă SAU-NU (NOR)  ==
'''Poarta NOR ''' este o [[poartă logică]] digitală care implementează operația de producere a unui rezultat invers [[disjuncție logică|disjuncției logice]]

== Simboluri ==

Există două simboluri pentru porțile NOR: simbolul 'militar' și simbolul 'dreptunghiular'. Pentru mai multe informații, vezi [[Poartă logică#Simboluri|simbolurile porților logice]].

<gallery>
Imagine: NOR ANSI Labelled.svg|Simbol 'Militar'
Imagine: IEC NOR.svg|Simbol 'Dreptunghiular'
</gallery>


== Descriere hardware și așezarea pinilor ==
[[Fișier: 4001 Pinout.svg|thumb|170px|right|Diagrama aranjamentului porţilor NOR într-un circuit integrat 4001 CMOS standard.]]

[[Fișier:MMC4001.jpg |thumb|170px|right|Circuit integrat 4001 CMOS standard.]]

[[Fișier: 7402 9N02.jpg|thumb|170px|right|Circuit integrat 7402 TTL standard.]]

Porțile NOR sunt porți logice de bază și de aceea sunt recunoscute în [[Logică tranzistor-tranzistor|TTL]] și [[circuit integrat|circuitele integrate]] [[CMOS]]. 

Circuitul integrat standard, seria 4000, CMOS este 4001, care include patru porți independente cu două intrări.

Varianta pentru circuitele TTL este seria 7402.
 
Pe lângă poarta SAU-NU (NOR) standard, cu două intrări, mai există și:

* CMOS:
** 4000: Poartă NOR (dublă pe CI) cu 3 intrări plus un inversor separat
** 4001: Poartă NOR (dublă pe CI) cu 4 intrări
** 4002: Poartă NOR duală cu 4 intrări 
** 4025: Poartă NOR triplă cu 3 intrări
* TTL:
** 7425: Poartă NOR cu 4 intrări (două porți pe CI) cu intrare de STROBE
** 7427: Poartă NOR cu 3 intrări (trei porți pe CI)
** 7428: Poartă NOR cu 2 intrări (patru porți pe CI) iesire tip driver, fan-out=30
** 7429: Poartă NOR cu 4 intrări (două porți pe CI)
** 7433: Poartă NOR cu 2 intrări (patru porți pe CI), ieșiri open colector
** 7436: Poartă NOR cu 2 intrări (patru porți pe CI), pinout diferit de 7402
** 74260: Poartă NOR cu 5 intrări (două porți pe CI)
** 74805: Poartă NOR cu 2 intrări (șase porți pe CI)




==Vezi și==
{|
| valign ="top" |
*[[Conjuncție logică]]
*[[Disjuncție exclusivă]]
*[[Disjuncție logică]]
*[[Implicație logică]]
*[[ȘI-NU logic]]
*[[Negație]]


| valign ="top" |

* [[Poartă AND]]
* [[Poartă NAND]]
* [[Poartă SAU]]
* [[Poartă XOR]]
* [[Poartă XNOR]]
* [[Poartă logică]]
|}

== Legături externe ==
{{Commons category|NOR gates}}



[[Categorie:Logică]]
[[Categorie:Algebră booleană]]
[[Categorie:Operații binare]]
[[Categorie:Porți logice]]