Kumathematika, isayensi yekhompiyutha, kanye nokunengqondo, ukubhala kabusha kuhlanganisa izindlela eziningi (okungenzeka zinganqumeli ) zokushintsha amagama angezansi efomula namanye amagama.Izinto okugxilwe kuzo zalesi sihloko zihlanganisa amasistimu okubhala kabusha (owaziwa nangokuthi amasistimu okubhala kabusha, bhala kabusha izinjini, noma amasistimu okunciphisa ).Ngokwesimo sawo esiyisisekelo, aqukethe iqoqo lezinto, kanye nobudlelwano bokuthi zingaguqulwa kanjani lezo zinto. Ukubhala kabusha kungase kunganqumi .Umthetho owodwa wokubhala kabusha igama ungasetshenziswa ngezindlela eziningi ezahlukene kulelo gama, noma kungasebenza umthetho ongaphezu kowodwa.Amasistimu okubhala kabusha awanikezi i- algorithm yokushintsha ithemu elilodwa ukuya kwelinye, kodwa isethi yemithetho engase isetshenziswe.Nokho, uma kuhlanganiswe ne-algorithm efanelekile, amasistimu okubhala kabusha angabhekwa njengezinhlelo zekhompyutha , futhi izaga ezimbalwa ze- nezilimi zokuhlela ezimemezelayo zisekelwe ekubhalweni kabusha kwethemu. Ngo logic, inqubo yokuthola ifomu evamile conjunctive (CNF) yefomula ezingase zithathwe njengoba uhlelo ubhalwe kabusha.Imithetho yesibonelo sesistimu enjalo ingaba: ¬ ¬ A → A {\displaystyle \neg \neg A\to A} ( ukuchithwa okuphindwe kabili ) ¬ ( A ∧ B ) → ¬ A ∨ ¬ B {\displaystyle \neg (A\land B)\to \neg A\lor \neg B} (Imithetho kaDe Morgan )