የመስመር ላይ የቦሊያን አገላለጽ መቀየሪያ

የቦሊያን አገላለጽ መቀየሪያ ባህሪያት

የእውነት ሰንጠረዥ ማመንጨት

መሳሪያው ለእያንዳንዱ የተለዋዋጮች ጥምረት የእውነት ሰንጠረዥ ይፈጥራል። ረድፎች በቅደም ተከተል ይዘረዘራሉ፡ ለእያንዳንዱ ተለዋዋጭ መጀመሪያ false ከዚያ true፣ የመጨረሻው ተለዋዋጭ በፍጥነት ይቀየራል።

ቀኖናዊ ቅርጾች (DNF እና CNF)

መሳሪያው ቀኖናዊ የሆነውን የDNF (የማይንተርም ድምር) እና CNF (የማክስተርም ውጤት) ያሳያል። እነዚህ ቅርጾች አልጀብራዊ ቅነሳ አይደረግባቸውም።

የምሳሌ ግቤት እና ውጤት

ለምሳሌ A && (B || !C) ሲያስገቡ፡ እውነት ሰንጠረዡ ለረድፎች 100፣ 110 እና 111 እውነት ያሳያል። DNF የሚጀምረው (A && !B && !C) || (A && B && !C) || (A && B && C) በሚል ነው።

ውስንነቶች

• ከስድስት በላይ ተለዋዋጮች አይደገፉም።
• XOR፣ አንድምታ፣ እኩልነት ወይም የቁጥር 0/1 ቋሚዎች አይደገፉም።
• ሁሉም ስሌቶች በአሳሽዎ ውስጥ በአካባቢው ይከናወናሉ።

ተደጋጋሚ ጥያቄዎች

የቃላት ኦፕሬተሮችን መጠቀም እችላለሁ?

አዎ፣ NOT፣ AND፣ OR እና true/false ቋሚዎች ለትልቅ/ትንሽ ፊደል ስሜታዊ አይደሉም። ተለዋዋጮች ግን ለትልቅ/ትንሽ ፊደል ስሜታዊ ናቸው።

ከስድስት በላይ ተለዋዋጮችን ብጠቀም ምን ይከሰታል?

መሳሪያው ስህተት ያሳያል፤ ተጨማሪ ተለዋዋጮችን ዝም ብሎ አይተዋቸውም።

ውጤቱ አነስተኛ የቦሊያን ቅርጽ ነው?

አይደለም፣ ቀኖናዊ ቅርጾች ብቻ ናቸው። ለቅነሳ የካርኖ ማፕ መሳሪያ ይጠቀሙ።