የሥነ ጥምረት ውጤቶችን ለማረጋገጥ የሚረዱ መሰረተ ሃሳቦች የጥምረት መርሆች በመባል ይታወቃሉ። የመደመር ሕግ፣ የማባዛት ሕግ እና ወጋኝና አግላይ መርህ ለቆጠራ የሚያገለግሉ የሥነ ጥምረት መርሆች ናቸው። ሁለት ስብስቦች አንድ አይነት የአባላት ብዛት እንዳላቸው ለማረጋገጥ ደግሞ የተጣምዶ ማረጋገጫ ሚባለው መሰረተ ሃሳብ ይረዳል። የደበኔ ሳጥን መርህ ብዙ ጊዜ ያንድን ነገር መኖር ወይም ደግሞ ያንድን ነገር በጣም አንስተኛ ወይም ከፍተኛ ቁጥር ብዛት ለማረጋገጥ ይረዳል። ሁለቴ ቆጠራ እና የተለዩ አባላት ስሌት የተሰኙት መርሆወች በበኩላቸው የሥነጥምረት እኩልዮሾችን ለማረገጋገጥ አይነተኛ ዘዴዎች ናቸው። መፍጠሪያ አስረካቢዎች ና ዓይንባይን ዝምድናዎች ከፍተኛ ሃይል ያላቸው፣ የድርድር እና የሥነጥምረት ጥያቄዎችን ለመፍታት የሚያገለግሉ ወይም በጠራ ሁኔታ ለምግለጽ የሚያገለግሉ መሰረተ ሃሳቦች ናቸው። ዋና መጣጥፍ፦ የመደመር ህግ አንድን ነገር ለማድረግ a መንገዶች ቢኖሩ እና ሌላ ነገር ለማድረግ b መንገዶች ቢኖሩ፣ ሁልቱን በአንድ ጊዜ ማድረግ ባይቻል፣ ከሁሉ አንድ ነገር ለማድረግ a + b መንገዶች አሉ ማለት ነው። አንድን ነገር ለመምረጥ a መንገዶች ቢኖሩ እና ሌላ ክዚህ ነገር ጋር የማይገናኝ ነገር ለመምረጥ b መንገዶች ቢኖሩ፣ ሁሌቱን አንድ ላይ መምረጥ ባይቻል፣ ከሁልቱ አንዱን ለመምረጥ a + b መንገዶች አሉ ማለት ነው። የአንድ ሙከራ ውጤት a ብዛት ሊኖራቸው የሚችል ቢሆን እና የሌላ ሙከራ ውጤት b ብዛት ሊኖራቸው ይሚችል ቢሆን፣ ሁለቱም ሙከራዎች አንድ ላይ ሊከወኑ የማይችሉ ቢሆኑ፣ የሁለቱ ሙክራዎች አጠቃላይ ውጤት a + b ሊሆን ይችላል ማለት ነው። ምሳሌ መሰረት እቤቷ ውስጥ 10 ጫማወች አሏት። እመኪናዋ ውስጥ 3 አይነት ጫማዎች አሏት። ጫማ አርጋ ስራ ለመሄድ ስንት አይነት ምርጫዎች አላት?