Razlika između verzija stranice "Konjunkcija sudova"
| [nepregledana izmjena] | [pregledana izmjena] |
Uklonjeni sadržaj Dodani sadržaj
No edit summary |
No edit summary |
||
Red 32:
'''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.
Navedimo još nekoliko aksioma logičke algebre, koja su česta u rješavanju zadataka:<br/>
x∧0=0 pravilo za konstantu nula<br/>
x∧1=x pravilo za konstantu jedan<br/>
x∧x∧....∧x=x pravilo idempotentnosti za konjunkciju<br/>
x∧x'=0 pravilo konzistentnosti(x' označava negaciju)<br/>
x∧y=y∧x pravilo komutativnosti<br/>
x∧(y∧z)=(x∧y)∧z pravilo asocijativnosti<br/>
{{stub-mat}}
| |||