Logotyp
Unionpedia
Kommunikation
Ladda ned på Google Play
Ny! Ladda ner Unionpedia på din Android™-enhet!
Ladda ner
Snabbare tillgång än webbläsare!
 

NOR

Index NOR

NOR, är en logisk operator, som fås genom negation av logisk disjunktion.

10 relationer: Binär operator, Charles Sanders Peirce, Disjunktion, Henry M. Sheffer, Logisk operator, Negation, Sanningsfunktion, Sanningsvärdetabell, Satslogik, Sheffers streck.

Binär operator

En binär operator, dyadisk operator, inre komposition eller binär operation är inom matematiken en kalkylering eller en operation med två indatakvantiteter, d.v.s. en operator med aritet 2.

Ny!!: NOR och Binär operator · Se mer »

Charles Sanders Peirce

Charles Sanders Peirce (/pɜːrs/), född 10 september 1839 i Cambridge i Massachusetts, död 19 april 1914 i Milford i Pennsylvania, var en amerikansk filosof.

Ny!!: NOR och Charles Sanders Peirce · Se mer »

Disjunktion

Disjunktion, som i satslogiken är liktydigt med inklusiv disjunktion, är en logisk operator.

Ny!!: NOR och Disjunktion · Se mer »

Henry M. Sheffer

Henry M. Sheffer, född 1882, död 1964, amerikansk logiker, inskriven i logikhistorien som upphovsman till det så kallade Sheffers streck.

Ny!!: NOR och Henry M. Sheffer · Se mer »

Logisk operator

En logisk operator är ett konnektiv inom satslogiken, vilket används för att sammanfoga två eller flera satser.

Ny!!: NOR och Logisk operator · Se mer »

Negation

Negation är i logiken ett förnekande av en sats på ett sådant sätt att, om satsen A är sann, så är icke-A falsk och om A är falsk, så är icke-A sann.

Ny!!: NOR och Negation · Se mer »

Sanningsfunktion

En sanningsfunktion är en funktion f(p, q) av två argument p och q som antar sanningsvärden och där resultatet är ett sanningsvärde.

Ny!!: NOR och Sanningsfunktion · Se mer »

Sanningsvärdetabell

Sanningsvärdetabell är en teknik inom logiken utvecklad av Charles Peirce på 1880-talet för att analysera och bestämma ett logiskt uttrycks sanningsvärde.

Ny!!: NOR och Sanningsvärdetabell · Se mer »

Satslogik

Satslogiken är ett formellt logiskt system med väldefinierad syntax, avsett att symboliskt hantera språkliga satser, vilka uttrycker påståenden, och från dessa med giltiga slutledningar, dra slutsatser.

Ny!!: NOR och Satslogik · Se mer »

Sheffers streck

Sheffers streck är ett logiskt konnektiv, som symboliseras med tecknet | eller alternativt ↑.

Ny!!: NOR och Sheffers streck · Se mer »

Omdirigerar här:

NOR (logisk funktion), NOR-grind.

UtgåendeInkommande
Hallå! Vi är på Facebook nu! »