Normalne forme
#fax #math #ds1 #cs/ar [deo iskazne logike i računarstva]
Bulova algebra:
Operacije su definisani sa ∙, +, ‾ i jesu u sledećem prioritetu
Def. Literal je promenljiva ili negacija promenljivih.
Def. Elementarna konjunkcija je konjunkcija literala.
Def. Disjunktna normalna forma (DNF) je disjunkcija elementarnih konjunkcija.
Def. Elementarna disjunkcija je disjunkcija literala.
Def. Konjunktna normalna forma (KNF) je konjunkcija elementarnih disjunkcija.
Def. Savršena disjunkcija/konjunkcija sadrži tačno po jedan literal za svaku promenljivu iz skup svih promenljivih.
Def. Savršena DNF/KNF — svi elementi disjunkcije/konjunkcije su savršeni.
Za svaki izraz postoji ekvivalentni izraz u DNF/KNF.
Dobijanje DNF/KNF od nekog izraza:
- Elemenisanje konstanti:
- Negacije moraju da budu samo iznad promenljivih:
- DNF — izvlačenje disjunkcija:
DNF — izvlačenje konjunkcija: - Uprošćavanje:
Logičke funkcije i DNF/KNF
