Predmet:Re: Elementi matematicke logike

---

Kao sto iz prilozenog vidimo Karnoova mapa kod ekvivalencije ne pomaze mnogo jer mapa izgleda kao sahovska tabla pa je grupisanje nemoguce i dobijamo prilicno slozen izraz.
Kako smo uocili sto je veca grupa, sve vise clanova ispada i dobijamo sve jednostavniji izraz

Ipak nije sve bas tako crno.
Srecom operacija ekvivalencije ima svoju "rodjaku" operaciju excluzivno ili.

za nju istinitosna tablica izgleda

A    B    AÅB
0    0    0
1    0    1
0    1    1
1    1    0

Kao sto vidimo ona predstavlje negaciju ekvivalencije.
Interesantno je primetiti da ako imamo dve ekvivalencije to je isto sto i dve
negacije ekskluzivne disjunkcije, odnosno samo dve ekskluzivne disjunkcije (dve negacije
ponistavaju jedna drugu)

odnosno

A<=>B<=>C je isto sto i AÅBÅC

i tako na dalje paran broj ekvivalencija isto sto i ekskluzivna disjunkcija, neparan broj ekvivalencija
isto sto i negacija ekskluzivne disjunkcije.

Mnogi programski jezici poznaju operaciju excluzivne disjunkcije, obicno se obelezava sa XOR, ali i nju mnogi programeri slabo poznaju i koriste.

Cak i ako jezik nema operaciju XOR opet ima resenja.
Operacija XOR ima svoju "sestru bliznakinju" operaciju MOD2 ili narodski receno da li je broj paran ili neparan.
Znaci potrebno je promenljive aritmeticki sabrati i videti da li je zbir paran ili neparan.
Podrazumeva se da logicki tacno ima vrednost 1, a logicki netacno vrednost 0

Izvinjavam se ako sam malo dosadan i preopsiran, ali ovo su za nekoga mozada potpuno nepoznate stvari, a mogu mnogo da koriste

Prilozi: