Operație booleană

În logică, operațiile logice se numesc acțiuni, în urma cărora sunt generate concepte noi , folosind cele existente. Într-un sens mai restrâns, conceptul de operație logică este folosit în logica și programare matematică .

Logica formală

Operațiile logice cu concepte sunt astfel de acțiuni mentale, al căror rezultat este înțelegerea semnificației sau o schimbare a conținutului sau volumului conceptelor, precum și formarea de noi concepte .

O operație care dezvăluie esența conceptului:

definiție ;

Operațiile care sunt asociate în principal cu modificarea conținutului conceptelor includ:

Operațiunile care sunt asociate în principal cu o modificare a volumului de concepte includ:

Aceste operații pot fi scrise matematic folosind teoria mulțimilor .

Trecerea la logica matematică este asociată cu conceptul de judecăți și stabilirea de operații asupra acestora în vederea obținerii unor judecăți complexe.

Logica matematică

Operația logică ( operator logic , conjunctiv logic , conjunctiv propozițional ) este o operație pe instrucțiuni care vă permite să compuneți noi enunțuri prin combinarea celor mai simple [1] .

Cele principale se numesc de obicei conjuncție ( sau &), disjuncție ( ), implicație ( ), negație ( ). În sensul logicii clasice , conexiunile logice pot fi definite în termenii algebrei logicii . În logica secvenţială asincronă , o conexiune logico-dinamică este definită sub forma unei operaţii venjunction ( ). $\teren$ $\lor$ $\la$ $\neg$ $\unghi$

Programare

Operație logică - în programare, o operație asupra expresiilor de tip logic (boolean) , corespunzătoare unei operații asupra instrucțiunilor din algebră logică . La fel ca propozițiile, expresiile logice pot lua una dintre cele două valori de adevăr - „adevărat” sau „fals”. Operațiile logice sunt folosite pentru a obține expresii logice complexe din expresii mai simple. La rândul lor, expresiile logice sunt de obicei folosite ca condiții pentru a controla secvența execuției programului.

În unele limbaje de programare (de exemplu, în limbajul C ), tipurile numerice sunt utilizate în locul tipului boolean sau în același timp cu acesta . În acest caz, o valoare diferită de zero este considerată a fi un adevărat logic, iar zero este o falsitate logică.

Valoarea unui bit individual poate fi văzută și ca o valoare booleană, presupunând că 1 înseamnă „adevărat” și 0 înseamnă „fals”. Acest lucru vă permite să aplicați operații logice biților individuali, vectorilor de biți componentă cu componentă și numerelor în reprezentare binară bit cu bit. Această aplicare simultană a unei operații logice la o secvență de biți se face folosind operații logice pe biți . Operațiile logice pe biți sunt utilizate pentru a opera pe biți individuali sau grupuri de biți, pentru a aplica măști de biți și pentru a efectua diverse calcule aritmetice.

Dintre operațiile logice, cele mai cunoscute sunt conjuncția (&&), disjuncția (||), negația (!). Ele sunt adesea confundate cu operațiuni cu biți , deși sunt lucruri diferite. De exemplu, următorul cod C :

if ( acțiune_necesară && unele_condiții ()) { /* unele acțiuni */ }

nu va executa un apel de subrutină some_condition()dacă valoarea variabilei booleene este action_requiredfalsă. Cu o astfel de operație, al doilea argument al operației „&&” nu va fi evaluat deloc.

În limbaje de programare

Următorul tabel listează operatorii și funcțiile încorporate care implementează operații logice pentru unele limbaje de programare.

Limba	NU	Și	SAU	Excl. SAU	echiv.	Nu echiv.	Alte
C++ [2]	!	&&	\|\|	^	==	!=
Fortran [3]	.NU.	.ȘI.	.SAU.	.XOR.	.EQV.	.NEQV.
Java [4]	!	&&	\|\|	^	==	!=
Pascal [5]	nu	și	sau	xor	=	<>
PL/I [6]	¬	&	\|	¬	=	¬=	BOOL
PL/I [6]	^	&	\|	^	=	^=	BOOL
Prolog [7]	\+	,	;
Python [8]	nu	și	sau	^	==	!=
Turbo Basic [9]	NU	ȘI	SAU	XOR	EQV	<>	IMP
JavaScript	!	&&	\|\|	^	==	!=


(fişier)		(fișier) (mărire)

Vezi și

Note

↑ Mendelssohn E. Introducere în logica matematică . - M . : „Nauka”, 1971. - S. 19.
↑ C++98 Standard Draft (link descendent)
↑ FORTRAN 77 Standard de limbă completă. Operatori logici (link descendent) . Data accesului: 21 ianuarie 2010. Arhivat din original la 24 ianuarie 2010. (nedefinit)
↑ Specificația limbajului Java. Ediția a doua Arhivată la 30 august 2009 la Wayback Machine , secțiunile 15.15, 15.21.2, 15.22-15.24
↑ Pascal Language Reference. Operatori (downlink) . Consultat la 21 ianuarie 2010. Arhivat din original la 3 mai 2017. (nedefinit)
↑ PL/I Language Reference . Consultat la 20 ianuarie 2010. Arhivat din original pe 25 septembrie 2018. (nedefinit)
↑ GNU-Prolog Manual Arhivat 23 ianuarie 2010 la Wayback Machine , secțiunile 6.2.2, 7.18.2
↑ operator - Operatori standard ca funcții . Python . Preluat la 21 octombrie 2020. Arhivat din original la 20 octombrie 2020. (nedefinit)
↑ Turbo Basic. Manualul proprietarului. r.77

Link -uri

TSB. Operare logică (în programare) // Marea Enciclopedie Sovietică : [în 30 de volume] / cap. ed. A. M. Prohorov . - Ed. a 3-a. - M . : Enciclopedia Sovietică, 1969-1978.
TSB. Operații logice (în logică) // Marea Enciclopedie Sovietică : [în 30 de volume] / cap. ed. A. M. Prohorov . - Ed. a 3-a. - M . : Enciclopedia Sovietică, 1969-1978.

Dicționare și enciclopedii	Rusă mare
În cataloagele bibliografice	GND : 4168049-2

Logici

Filosofie • Semantică • Sintaxă • Istorie

Grupuri logice

logica clasica	logica aristotelică Logica propozițională Logica de ordinul întâi Logica de ordinul doi logica de ordin superior
logica matematica	teoria multimilor Teoria modelului Teoria computabilității Teoria dovezilor și matematică constructivă Logica liniară sistem formal concluzie firească Calcul de secvență Algebra logicii Logica relevanta Logica deontică logica intuiționistă calculul Lambek
Logica non-clasica	intuitionism logica fuzzy Logica substructurala logica Logica descrierii Logica cu mai multe valori Sinteza logica Logica obligatorie Logica temporală Logica modală ( logica hibridă ) logica epistemică
Logica filozofică	Gândire critică logica informala motiv dedus

Componente

Lista simbolurilor booleene