# data[].attributes.body
- postupak kojim se složeni logički prikaz ostvaruje uz minimalan broj osnovnih logičkih operatora
- istinitost se dokazuje ako za sve mogućnosti unesenih vrijednosti dobijemo iste izlazne vrijednosti s obje strane jednakosti

# data[].attributes.body
- istinita u svim slučajevima osim u onom gdje su obje izjave neistinite.

# data[].attributes.body
- operacija najnižeg prioriteta
- djeluje na dvije izjave
- istinita kada je bar jedna izjava istinita

- označava se s:
∨ (logika), + (informatika), OR ili || (programski jezici)

# data[].attributes.body
-četiri moguće kombinacije istinitosti
-istinita samo u slučaju kad su obje izjave istinite

# data[].attributes.body
- prioritetom nakon negacije
- operacija koja djeluje na dvije izjave
- istinita je samo ako su obje izjave istinite

- označava se s:
∧ (logika), ⋅ (informatika), AND ili && (programiranje)

# data[].attributes.body
- ako je A neistina, njena negacija je istina i obrnuto

# data[].attributes.body
- operacija najvišeg prioriteta
- rezultat je uvijek suprotna vrijednost

- označava se s:
¬ (logika),¯(matematika), NOT ili ! (programski jezici)

# data[].attributes.body
Prioritet izvođenja logičkih operacija
- negacija
- konjukcija
- disjunkcija

# data[].attributes.body
- podatci se prepoznaju kao nizovi bitova (0 i 1)
- za njihovo povezivanje u nizove podataka koriste se logički sklopovi temeljeni na logičkim operacijama
- elektronički sklopovi, od kojih je građeno računalo, razlikuju samo dva stabilna stanja

# data[].attributes.body
-engleski matematičar George Boole (1815.-1864.)
- na osnovi matematike opisuje odnose između izjava

Logički sud (izjava)
- osnovni element Boolove algebre
- jasne i jednoznačne izjave (istina ili neistina)
- zbog jednostavnosti pisanja označavaju se varijablama
(A ili B)
- imaju binarnu vrijednost (istina- T ili 1, neistina, F ili 0)