Boolean operation
I logik kallas logiska operationer för åtgärder, som ett resultat av vilka nya koncept genereras med hjälp av befintliga. I en snävare mening används begreppet logisk operation i matematisk logik och programmering .
Formell logik
Logiska operationer med begrepp är sådana mentala handlingar, resultatet av vilka är en förståelse av innebörden eller en förändring av innehållet eller volymen av begrepp, såväl som bildandet av nya begrepp .
En operation som avslöjar kärnan i konceptet:
Operationer som huvudsakligen är förknippade med att ändra innehållet i begrepp inkluderar:
- negation (NOT);
- begränsning ;
- generalisering ;
Verksamheter som huvudsakligen är förknippade med en förändring i volymen av koncept inkluderar:
- logisk addition (OR);
- logisk multiplikation (AND);
- logisk subtraktion (XOR);
- logisk uppdelning .
Dessa operationer kan skrivas matematiskt med hjälp av mängdlära .
Övergången till matematisk logik är förknippad med begreppet bedömningar och upprättandet av operationer på dem för att erhålla komplexa bedömningar.
Matematisk logik
Logisk operation ( logisk operatör , logisk koppling , propositionell koppling ) är en operation på satser som låter dig komponera nya satser genom att kombinera enklare [1] .
De viktigaste brukar kallas konjunktion ( eller &), disjunktion ( ), implikation ( ), negation ( ). I betydelsen klassisk logik kan logiska bindemedel definieras i termer av logikens algebra . I asynkron sekventiell logik definieras en logisk-dynamisk anslutning i form av en venjunction- operation ( ).
Programmering
Logisk operation - i programmering, en operation på uttryck av en logisk (boolesk) typ , motsvarande någon operation på satser i logisk algebra . Liksom propositioner kan logiska uttryck anta ett av två sanningsvärden - "sant" eller "falskt". Logiska operationer används för att erhålla komplexa logiska uttryck från enklare. I sin tur används vanligtvis logiska uttryck som villkor för att styra sekvensen för programexekveringen.
I vissa programmeringsspråk (till exempel i C- språket) används numeriska typer istället för den booleska typen eller samtidigt som den . I det här fallet anses ett värde som inte är noll vara ett logiskt sant, och noll är en logisk falskhet.
Värdet på en enskild bit kan också ses som ett booleskt värde, förutsatt att 1 betyder "sant" och 0 betyder "falskt". Detta låter dig tillämpa logiska operationer på enskilda bitar, på bitvektorer komponent för komponent och på tal i binär representation bit för bit. Denna samtidiga tillämpning av en logisk operation på en sekvens av bitar görs med hjälp av bitvisa logiska operationer . Bitvisa logiska operationer används för att arbeta på enskilda bitar eller grupper av bitar, tillämpa bitmasker och utföra olika aritmetiska beräkningar.
Bland de logiska operationerna är de mest kända konjunktion (&&), disjunktion (||), negation (!). De förväxlas ofta med bitoperationer , även om det är olika saker. Till exempel följande C -kod :
if ( action_required && some_condition ()) { /* vissa åtgärder */ }kommer inte att utföra ett subrutinanrop some_condition()om värdet på den booleska variabeln är action_requiredfalskt. Med en sådan operation kommer det andra argumentet för "&&" operationen inte att utvärderas alls.
I programmeringsspråk
Följande tabell listar inbyggda operatorer och funktioner som implementerar logiska operationer för vissa programmeringsspråk .
| Språk | INTE | Och | ELLER | Exkl. ELLER | Equiv. | Ej ekv. | Övrig |
|---|---|---|---|---|---|---|---|
| C++ [2] | ! | && | || | ^ | == | != | |
| Fortran [3] | .INTE. | .OCH. | .ELLER. | .XOR. | .EQV. | .NEQV. | |
| Java [4] | ! | && | || | ^ | == | != | |
| Pascal [5] | inte | och | eller | xor | = | <> | |
| PL/I [6] | ¬ | & | | | ¬ | = | ¬= | BOOL |
| ^ | ^ | ^= | |||||
| Prolog [7] | \+ | , | ; | ||||
| Python [8] | inte | och | eller | ^ | == | != | |
| Turbo Basic [9] | INTE | OCH | ELLER | XOR | EQV | <> | IMP |
| JavaScript | ! | && | || | ^ | == | != |
|
| |
| (fil) | (fil) (zooma in) |
Se även
- boolesk konstant
- Logiskt element
- kombinationslogik
- booleskt uttryck
- slutledning
- Sekventiell logik
- slutledning
Anteckningar
- ↑ Mendelssohn E. Introduktion till matematisk logik . - M . : "Nauka", 1971. - S. 19.
- ↑ C++98 Standard Draft (nedlänk)
- ↑ FORTRAN 77 Full Language Standard. Logiska operatörer (nedlänk) . Datum för åtkomst: 21 januari 2010. Arkiverad från originalet den 24 januari 2010.
- ↑ Java-språkspecifikation. Andra upplagan Arkiverad 30 augusti 2009 på Wayback Machine , avsnitt 15.15, 15.21.2, 15.22-15.24
- ↑ Pascal språkreferens. Operatörer (nedlänk) . Hämtad 21 januari 2010. Arkiverad från originalet 3 maj 2017.
- ↑ PL/I språkreferens . Hämtad 20 januari 2010. Arkiverad från originalet 25 september 2018.
- ↑ GNU-Prolog Manual Arkiverad 23 januari 2010 på Wayback Machine , avsnitt 6.2.2, 7.18.2
- ↑ operatör - Standardoperatörer som funktioner . Python . Hämtad 21 oktober 2020. Arkiverad från originalet 20 oktober 2020.
- ↑ Turbo Basic. Ägarhandbok. r.77
Länkar
- TSB. Logisk operation (i programmering) // Great Soviet Encyclopedia : [i 30 volymer] / kap. ed. A. M. Prokhorov . - 3:e uppl. - M . : Soviet Encyclopedia, 1969-1978.
- TSB. Logiska operationer (i logik) // Stora sovjetiska encyklopedin : [i 30 volymer] / kap. ed. A. M. Prokhorov . - 3:e uppl. - M . : Soviet Encyclopedia, 1969-1978.
 Ordböcker och uppslagsverk | |
|---|---|
| I bibliografiska kataloger |
| Logik | |||||||||
|---|---|---|---|---|---|---|---|---|---|
| Filosofi • Semantik • Syntax • Historia | |||||||||
| Logiska grupper |
| ||||||||
| Komponenter |
| ||||||||
| Lista över booleska symboler | |||||||||