የእውነት ሰንጠረዥ ወደ አመክንዮ አገላለጽ መቀየሪያ
ከ1-6 ተለዋዋጮች እና minterms በመጠቀም ቀኖናዊ DNF አመክንዮ አገላለጽ ያግኙ። ምሳሌ፡ A,B እና 1,2 → (!A && B) || (A && !B)። ሂደቱ በአሳሽዎ ውስጥ ይከናወናል።
መጠቀም ይጀምሩ
የመሣሪያው ችሎታ እና ውስንነቶች
ይህ መሣሪያ የእውነት ሰንጠረዥን ወደ ቀኖናዊ የDNF አመክንዮ አገላለጽ ይቀይራል። ከ1 እስከ 6 ተለዋዋጮችን ይደግፋል። የመጀመሪያው ተለዋዋጭ በጣም ጉልህ ቢት ነው። ውጤቱ ሁልጊዜ ቀኖናዊ ነው፣ ማለት እያንዳንዱ የተመረጠ ረድፍ ሙሉ ምርት ይይዛል። መሣሪያው አገላለጹን አያሳንስም፣ ስለዚህ ውጤቱ ረጅም ሊሆን ይችላል።
የሚሰራ ምሳሌ
ተለዋዋጮች A,B እና minterms 1,2 ያስገቡ። የእውነት ሰንጠረዡ ረድፎች (A,B) እንደ ቢት ሲቆጠሩ፡ ረድፍ 0 = (0,0)፣ 1 = (0,1)፣ 2 = (1,0)፣ 3 = (1,1) ናቸው። ስለዚህ ውጤቱ (!A && B) || (A && !B) ይሆናል።
የግብዓት ቅርጸት
የተለዋዋጭ ስሞችን በኮማ ይለዩ፤ ለምሳሌ Input1,Flag_2። ስም በ ASCII ፊደል ይጀምራል፤ ከዚያ በኋላ የASCII ፊደሎች፣ አሃዞች ወይም የስር መስመር ይፈቀዳሉ። በስም ውስጥ ክፍተት አይፈቀድም፣ በስሙ ዙሪያ ያለው ግን ይወገዳል። የminterm ቁጥሮች ከ0 እስከ 2^n-1 መሆን አለባቸው። ተደጋጋሚ ቁጥሮች በራስ-ሰር ይወገዳሉ።
ውጤት እና ማስታወሻ
ውጤቱ የDNF አገላለጽ ነው፣ ! ለNOT፣ && ለAND፣ || ለOR ይጠቅማል። ባዶ የminterm ዝርዝር ከሆነ ውጤቱ false ነው፣ ይህም በሁሉም ምደባ ላይ ዜሮ የሆነ ተግባርን ይወክላል።
ውስንነቶች
መሣሪያው የሚከተሉትን አያደርግም፡ አገላለጽ ማቃለል፣ don't-care ረድፎችን መቀበል፣ CNF/POS ማመንጨት፣ የጌት ሥዕል መሳል፣ ወይም የሰንጠረዥ ግብዓት መቀበል። የተቀነሰ አገላለጽ ከፈለጉ የK-map መሣሪያ ይጠቀሙ።
ተደጋጋሚ ጥያቄዎች
- ጥያቄ፡ ተለዋዋጮችን በሌላ ምልክት መለየት እችላለሁ?
መልስ፡ ስሞችን በኮማ ይለዩ። በኮማ ዙሪያ ያለ ክፍተት ይወገዳል፣ በስም ውስጥ ያለ ክፍተት ግን አይፈቀድም። - ጥያቄ፡ ውጤቱ ለምን አልተቀነሰም?
መልስ፡ መሣሪያው ቀኖናዊ DNF ብቻ ያመነጫል፣ ማቃለል አያደርግም። ለተቀነሰ ውጤት የK-map መሣሪያ ይጠቀሙ። - ጥያቄ፡ ባዶ የminterm ዝርዝር ስሰጥ ምን ይከሰታል?
መልስ፡ ውጤቱ false ይሆናል፣ ይህም ሁልጊዜ ዜሮ የሆነ ተግባርን ያመለክታል።
ማስታወሻ
ይህ መሣሪያ ለትምህርት እና ለማመሳከሪያ የታሰበ ነው። ውጤቱ ትክክለኛ ነው ነገር ግን ለወሳኝ ሥራዎች ራስን መርምሮ መጠቀም ተገቢ ነው።
የሚደጋገሙ የሚንተርም መለያ ቁጥሮች መጀመሪያ በታዩበት ቅደም ተከተል አንድ ጊዜ ብቻ ይቆጠራሉ። AND፣ OR፣ NOT፣ true እና false አቢይና ንዑስ ፊደል ሳይለዩ የተያዙ ስሞች ናቸው። እያንዳንዱ የግቤት መስክ ቢበዛ 500,000 የUTF-16 ኮድ ክፍሎችን ይቀበላል፤ ለሚፈጠረው አገላለጽም ይህ ገደብ ይሠራል። የተመረጠው እያንዳንዱ ረድፍ ሁሉንም ተለዋዋጮች ስለሚደግም አጭር ስሞችን ይጠቀሙ። አገላለጹ አይቀለልም። በዚህ ድረገጽ ያለው የK-map መሣሪያ ቢበዛ አራት ተለዋዋጮችን ይደግፋል።
ሂደቱ በአሳሽዎ ውስጥ ይከናወናል።