Кукон давлат педагогика институти

5-маруза:МУЛОХАЗАЛАР АЛГЕБРАСИДАГИ ФОРМУЛАЛАР УЧУН НОРМАЛ ФОРМАЛАР.

Режа.

1. 
   Нормал форма тушунчаси.
   
2. 
   Такомиллашган нормал формалар.
   
3. 
   Мулохазалар алгебрасидаги формулаларни ТДНФ да ифодалаш.
   
4. 
   Мулохазалар алгебрасидаги формулаларни ТКНФ да ифодалаш.
   

Таянч иборалар.

Конoюктив бир хад,дизoюнктив бир хад, дизoюнктив нормал форма, конoюктив нормал форма, такомиллашган бир хад, такомиллашган нормал форма .

Мулохазалар алгебрасидаги формулаларни тенг кучли алмаштиришлар ёрдамида логик амаллардан , ,  лар катнашган формулаларга келтириб олишимиз мумкин. Бу ерда 4.4 тенг кучли формулалардаги 18, 22 тенг кучлиликлардан фойдаланишимиз мумкин.

Мисол: ( X(XY)) Y( X(XY) Y( X( XY) Y

Формулаларни , ,  лар катнашган формулаларга бир неча хил куринишда келтириш мумкин. Формулаларнинг, ,  куринишлари ичида баъзи бирлари мухим ахамиятга эга. Бу куринишларни урганиш дарсимизнинг асосий максадидан биридир.

Таoриф. Х,Х,...,Х узгарувчиларнинг конъюктив бир хади деб, бу узгарувчиларнинг ёки уларнинг инкорларининг конъюкциясига айтилади. Бу ерда пропорционал узгарувчи ва унинг инкори бир пайитда катнашиши , хатто бир неча мартта хам катнашиши мумкин.Масалан.

Х, Х Х Х Х Х

Х Х Х,  Х Х ХХ Х