Logiikassa loogisia operaatioita kutsutaan toimiksi , joiden seurauksena syntyy uusia käsitteitä olemassa olevien käsitteiden avulla. Suppeammassa merkityksessä loogisen operaation käsitettä käytetään matemaattisessa logiikassa ja ohjelmoinnissa .
Loogiset operaatiot käsitteillä ovat sellaisia henkisiä toimintoja, joiden tuloksena on käsitteiden merkityksen ymmärtäminen tai muuttuminen sisällössä tai määrässä sekä uusien käsitteiden muodostuminen .
Operaatio, joka paljastaa konseptin olemuksen:
Toimintoja, jotka liittyvät pääasiassa käsitteiden sisällön muuttamiseen, ovat mm.
Toimintoja, jotka liittyvät pääasiassa konseptien määrän muutokseen, ovat mm.
Nämä operaatiot voidaan kirjoittaa matemaattisesti joukkoteorian avulla .
Siirtyminen matemaattiseen logiikkaan liittyy tuomioiden käsitteeseen ja niille operaatioiden laatimiseen monimutkaisten tuomioiden saamiseksi.
Looginen operaatio ( looginen operaattori , looginen konnektiivi , lausekonnektiivi ) on lauseiden operaatio, jonka avulla voit muodostaa uusia lauseita yhdistämällä yksinkertaisempia [1] .
Pääasiallisia kutsutaan yleensä konjunktioksi ( tai &), disjunktioksi ( ), implikaatioksi ( ), negaatioksi ( ). Klassisen logiikan mielessä loogiset konnektiivit voidaan määritellä logiikan algebran avulla . Asynkronisessa peräkkäislogiikassa loogis-dynaaminen yhteys määritellään venjunction- operaation ( ) muodossa.
Looginen operaatio - ohjelmoinnissa operaatio loogisen (loogisen) tyyppisille lausekkeille , joka vastaa jotakin logiikkaalgebran lauseiden operaatiota . Kuten ehdotukset, loogiset lausekkeet voivat ottaa yhden kahdesta totuusarvosta - "tosi" tai "epätosi". Loogisia operaatioita käytetään monimutkaisten loogisten lausekkeiden saamiseksi yksinkertaisemmista lausekkeista. Loogisia lausekkeita puolestaan käytetään yleensä ehtona ohjelman suoritusjärjestyksen ohjaamiseen.
Joissakin ohjelmointikielissä (esimerkiksi C -kielessä) käytetään numeerisia tyyppejä loogisen tyypin sijaan tai samanaikaisesti sen kanssa . Tässä tapauksessa nollasta poikkeavan arvon katsotaan olevan looginen tosi, ja nolla on looginen epätosi.
Yksittäisen bitin arvoa voidaan pitää myös loogisena arvona olettaen, että 1 tarkoittaa "tosia" ja 0 tarkoittaa "epätosi". Tämän avulla voit soveltaa loogisia operaatioita yksittäisiin bitteihin, bittivektoreihin komponentti kerrallaan ja binääriesityksen lukuihin bitti bitiltä. Tämä samanaikainen loogisen operaation soveltaminen bittisarjaan tehdään käyttämällä bittikohtaisia loogisia operaatioita . Bittikohtaisia loogisia operaatioita käytetään yksittäisten bittien tai bittiryhmien käyttämiseen, bitimaskien käyttämiseen ja erilaisten aritmeettisten laskelmien suorittamiseen.
Loogisista operaatioista tunnetuimmat ovat konjunktio (&&), disjunktio (||), negaatio (!). Ne sekoitetaan usein bittitoimintoihin , vaikka ne ovatkin eri asioita. Esimerkiksi seuraava C - koodi :
if ( action_required && some_condition ()) { /* joitakin toimia */ }ei suorita aliohjelman kutsua some_condition(), jos loogisen muuttujan arvo on action_requiredepätosi. Tällaisella toiminnolla "&&"-operaation toista argumenttia ei arvioida ollenkaan.
Seuraavassa taulukossa on lueteltu sisäänrakennetut operaattorit ja funktiot, jotka toteuttavat joidenkin ohjelmointikielien loogisia toimintoja.
Kieli | EI | Ja | TAI | Ei sisällä TAI | Vastaava | Ei vastaa | muu |
---|---|---|---|---|---|---|---|
C++ [2] | ! | && | || | ^ | == | != | |
Fortran [3] | .EI. | .JA. | .TAI. | .XOR. | .EQV. | .NEQV. | |
Java [4] | ! | && | || | ^ | == | != | |
Pascal [5] | ei | ja | tai | xor | = | <> | |
PL/I [6] | ¬ | & | | | ¬ | = | ¬= | BOOL |
^ | ^ | ^= | |||||
Prolog [7] | \+ | , | ; | ||||
Python [8] | ei | ja | tai | ^ | == | != | |
Turbo Basic [9] | EI | JA | TAI | XOR | EQV | <> | IMP |
JavaScript | ! | && | || | ^ | == | != |
(tiedosto) | (tiedosto) (lähennä) |
Sanakirjat ja tietosanakirjat | |
---|---|
Bibliografisissa luetteloissa |
Logiikka | |||||||||
---|---|---|---|---|---|---|---|---|---|
Filosofia • Semantiikka • Syntaksi • Historia | |||||||||
Logiikkaryhmät |
| ||||||||
Komponentit |
| ||||||||
Luettelo loogisista symboleista |