Razlika između verzija stranice "Konjunkcija sudova"
| [nepregledana izmjena] | [nepregledana izmjena] |
Uklonjeni sadržaj Dodani sadržaj
No edit summary |
No edit summary |
||
Red 29:
P&Q = Q&P
Uz logičke funkcije negacije i disjunkcije, konjunkcija čini osnovni skup logički funkcija. Uz pomoć osnovnog skupa logičkih funkcija možemo predstaviti proizvoljnu, ma kako složenu logičku funkciju. Iako čine osnovni skup logičkih funkcija, taj skup nije minimalan. Tako npr. minimalan skup logičkih funkcija čine konjunkcija i negacija, s obzirom da pomoću njih možemo prikazati proizvoljnu, ma kako složenu logičku funkciju.<br/><br/>
'''Dokaz:''' S obzirom da uz pomoć osnovnog skupa logičkih funkcija možemo prikazati proizvoljnu funkciju, da bismo dokazali da on nije minimalan, dovoljno je dokazati da jednu od funkcija(npr. disjunkciju) možemo prikazati preko preostale dvije(konjunkcije i negacije). Tako možemo pisati da je a∨b=(a'∧ b')', a ovim je dokaz završen. Ovo nije i jedini minimalni skup logičkih funkcija, a da bi pronašli ostale minimalne skupove logičkih funkcija, treba se upoznati sa Postovim teoremom, uz pomoć koje možemo pronaći funkcionalno kompletne skupove, a zatim i minimalne.
| |||