090_BLG_Booleova_algebra_20090212_02 12.2.

2009

P Q P => Q

0 0 1

0 1 1

1 0 0

1 1 1

Operacija implikacije pie se simboliki:

P => Q
i ita P implicira Q ili Ako je P onda je Q ili P povlai Q. Matematiki pouci esto se izraavaju
Booleova algebra i logiki sklopovi 1

2 2 2
implikacijom, npr. Pitagorin pouak glasi: Ako je trokut pravokutan onda u njemu vrijedi c =a +b .
2 2 2
Vrijedi i obrat ovog teorema u kojem je takoer implikacija. Ako u nekom trokutu vrijedi c =a +b .onda
je taj trokut pravokutan.
Ako vrijede oba smjera implikacije tj ako P => Q i Q => P onda je rije o novoj logikoj operaciji,
ekvivalenciji.
Logiki operator ekvivalencije ()
Logika operacija ekvivalencije na odreeni nain govori da su izjave P i Q jednako vrijedne i
odgovara veznicima ako i samo ako, akko, (engl. if and only if, iff). Operator ekvivalencije
predouje se simbolom. Izraz PQ je istinit ako su oba izraza ista glede istinitosti tj. ako su i P i Q
istinite izjave ili ako su i P i Q lane izjave. Tablica stanja ekvivalencije je:

P Q PQ

0 0 1

0 1 0

1 0 0

1 1 1

Operacija ekvivalencije pie se simboliki:

PQ
Sloene logike operacije
Osnovne logike operacije mogu se kombinirati u sloene operacije, pa tako npr. moemo sastaviti
sloenu logiku operaciju:
Danas je sunan dan ILI Danas je oblaan dan I Iz oblaka pada kia.
Ova se logika operacija sastoji od tri operanda i dva operatora. Uoite dva osnovna logika operatora
ILI i I. Zamijene li se izjave slovnim oznakama ta logika operacija poprima oblik:
P+QR
esto je sloene logike operacije mogue pojednostavniti sluei se nizom jednostavnih pravila.
Pojednostavniti logiku operaciju znai smanjiti broj operanada u logikoj operaciji ne mijenjajui
pritom tablicu stanja te operacije. Postoji vie postupaka koji pomau pojednostavnjenju, a mi emo
ovdje rabiti algebarski postupak. Tim se postupkom zamjenjuju dijelovi logike operacije sluei se
skupom pravila za zamjenu. Ovdje su navedena osnovna pravila koja mogu pomoi
pojednostavnjenju, odnosno pretvorbi jednoga logikog oblika u drugi, a da se pritom ne izmijeni
tablica stanja logike operacije. Tako npr. vrijedi:

BOOLEOVA ALGEBRA I LOGIKI SKLOPOVI 3