|
Квайн усули. Бу усул ҲДНШни тўлиқ бўлмаган бириктириш ва ютилиш амаллари ёрдамида ўзгартиришга асосланган.
Бириктириш (тўлиқ) амали қуйидаги муносабат билан аниқланади
 + =X.
Иккита XY ва аъзолар Y ўзгарувчи бўйича бирикади.
Тўлиқ бўлмаган бириктириш амали қуйидаги муносабат билан аниқланади:
+=X+XY+.
Ўнг қисмида X аъзодан ташқари, бириктиришда қатнашган ҳар икки аъзо ёзилади.
Ютилиш амали қуйидаги муносабат билан аниқланади:
X+XY=X.
Do'stlaringiz bilan baham: | 
