ബൂളിയൻ സമവാക്യങ്ങളുടെ ലളിതവൽക്കരണം
ഡിജിറ്റൽ ലോജിക് ഡിസൈനിലും കമ്പ്യൂട്ടർ സയൻസിലും ബൂളിയൻ എക്സ്പ്രഷനുകൾ ചുരുങ്ങിയ രൂപത്തിൽ എഴുതുന്നത് സർക്യൂട്ടുകളുടെ കാര്യക്ഷമത വർദ്ധിപ്പിക്കുന്നതിനും പ്രോഗ്രാം കോഡുകൾ ലളിതമാക്കുന്നതിനും അത്യാവശ്യമാണ്. മാനുവൽ ആയി വലിയ എക്സ്പ്രഷനുകൾ ലളിതമാക്കുന്നത് തെറ്റുകൾ വരാൻ സാധ്യതയുള്ളതും സമയം നഷ്ടപ്പെടുത്തുന്നതുമായ ഒരു പ്രക്രിയയാണ്. ഈ സാഹചര്യത്തിലാണ് ബൂളിയൻ ആൾജിബ്ര സിംപ്ലിഫയർ സഹായകരമാകുന്നത്.
ഈ ടൂൾ ഉപയോക്താവ് നൽകുന്ന ബൂളിയൻ എക്സ്പ്രഷനുകളെ കൃത്യമായി വിശകലനം ചെയ്യുകയും അവയുടെ ഏറ്റവും ലളിതമായ രൂപങ്ങൾ കണ്ടെത്തുകയും ചെയ്യുന്നു. പ്രോസസ്സിംഗ് പൂർണ്ണമായും ഉപയോക്താവിന്റെ വെബ് ബ്രൗസറിൽ തന്നെയാണ് നടക്കുന്നത്, വിവരങ്ങൾ ഒന്നും തന്നെ ബാഹ്യ സെർവറുകളിലേക്ക് അപ്ലോഡ് ചെയ്യപ്പെടുന്നില്ല.
ഇൻപുട്ട് ഫോർമാറ്റുകളും നിയന്ത്രണങ്ങളും
ഈ ടൂളിൽ ബൂളിയൻ എക്സ്പ്രഷനുകൾ ടൈപ്പ് ചെയ്യുമ്പോൾ വിവിധ തരത്തിലുള്ള എഴുത്തുരീതികൾ ഉപയോഗിക്കാവുന്നതാണ്. എഞ്ചിനീയറിംഗ് ശൈലി, പ്രോഗ്രാമിംഗ് ശൈലി, ലോജിക്കൽ ചിഹ്നങ്ങൾ അല്ലെങ്കിൽ സാധാരണ വാക്കുകൾ എന്നിവയെല്ലാം ഇതിൽ പിന്തുണയ്ക്കുന്നു.
- AND ഓപ്പറേഷൻ:
AB,A·B,A*B,A AND B,A && Bഅല്ലെങ്കിൽ അനുയോജ്യമായ ലോജിക് ചിഹ്നങ്ങൾ ഉപയോഗിക്കാം.ABCഎന്ന് തുടർച്ചയായി എഴുതിയാൽ അത്A AND B AND Cആയി കണക്കാക്കും. - OR ഓപ്പറേഷൻ:
A + B,A OR B,A || Bഅല്ലെങ്കിൽ ലോജിക് ചിഹ്നങ്ങൾ ഉപയോഗിക്കാം. - NOT ഓപ്പറേഷൻ:
A',!A,NOT A,¬Aഅല്ലെങ്കിൽ പ്രൈം ചിഹ്നം ഉപയോഗിക്കാം. - XOR ഓപ്പറേഷൻ:
A ^ B,A XOR B,A ⊕ Bഎന്നിവ ഉപയോഗിക്കാം. - NAND ഓപ്പറേഷൻ:
A NAND Bഅല്ലെങ്കിൽ⊼ഉപയോഗിക്കാം. - NOR ഓപ്പറേഷൻ:
A NOR Bഅല്ലെങ്കിൽ⊽ഉപയോഗിക്കാം. - കോൺസ്റ്റന്റുകൾ:
0,1എന്നിവ ഇൻപുട്ടിൽ അനുവദനീയമാണ്.
ഈ ടൂളിൽ പരമാവധി 6 വ്യത്യസ്ത വേരിയബിളുകളും 2,000 അക്ഷരങ്ങളും വരെ മാത്രമേ ഉപയോഗിക്കാൻ സാധിക്കൂ. ഇൻപുട്ട് ഫീൽഡ് വേഗത്തിൽ വൃത്തിയാക്കാൻ "മായ്ക്കുക" ബട്ടൺ ഉപയോഗിക്കാം. കൂടാതെ, "ടേമുകൾ ലയിപ്പിക്കൽ", "നെഗേറ്റഡ് പ്രൊഡക്റ്റ്", "ത്രീ-വേ XOR" എന്നീ ഉദാഹരണങ്ങൾ ക്ലിക്ക് ചെയ്ത് എക്സ്പ്രഷനുകൾ വേഗത്തിൽ പരീക്ഷിക്കാവുന്നതുമാണ്.
ക്വിൻ-മക്ലസ്കി രീതിയും ഡെറിവേഷനും
ബൂളിയൻ എക്സ്പ്രഷനുകൾ ലളിതമാക്കാൻ ഈ ടൂൾ ഉപയോഗിക്കുന്നത് ക്വിൻ-മക്ലസ്കി (Quine–McCluskey) രീതിയാണ്. കർണോ മാപ്പുകൾ (K-maps) ഉപയോഗിച്ച് 4 വേരിയബിളുകൾക്ക് മുകളിലുള്ളവ കൈകൊണ്ട് ചെയ്യുന്നത് ബുദ്ധിമുട്ടാണ്. എന്നാൽ ക്വിൻ-മക്ലസ്കി രീതി കൃത്യമായ മിനിമം കവർ (exact minimum cover) ഉറപ്പുനൽകുന്നു.
ഈ പ്രക്രിയയിൽ ആദ്യം ഇൻപുട്ട് എക്സ്പ്രഷന്റെ ട്രൂത്ത് ടേബിൾ നിർമ്മിക്കുന്നു. തുടർന്ന് 1 വാല്യൂ വരുന്ന വരികളെ (minterms) പരസ്പരം ലയിപ്പിച്ച് പ്രൈം ഇംപ്ലിക്കന്റുകൾ കണ്ടെത്തുന്നു. അവയിൽ നിന്ന് ഒഴിവാക്കാൻ കഴിയാത്ത എസൻഷ്യൽ പ്രൈം ഇംപ്ലിക്കന്റുകൾ വേർതിരിച്ചെടുക്കുന്നു. ബാക്കിയുള്ള വരികളെ ഏറ്റവും കുറഞ്ഞ ടേമുകൾ ഉപയോഗിച്ച് കവർ ചെയ്യുന്നതിലൂടെ മിനിമൽ സം ഓഫ് പ്രൊഡക്റ്റ്സ് (SOP) രൂപം ലഭിക്കുന്നു. ഇതേ പ്രക്രിയ 0 വാല്യൂ വരുന്ന വരികളിൽ (maxterms) പ്രയോഗിച്ച് മിനിമൽ പ്രൊഡക്റ്റ് ഓഫ് സംസ്സ് (POS) രൂപവും കണ്ടെത്തുന്നു.
ഔട്ട്പുട്ട് ഘടനയും വിശകലനവും
ഒരു എക്സ്പ്രഷൻ നൽകിക്കഴിഞ്ഞാൽ താഴെ പറയുന്ന വിവരങ്ങൾ കൃത്യമായി ദൃശ്യമാകും:
- വായിച്ചത്: സിസ്റ്റം മനസ്സിലാക്കിയ എക്സ്പ്രഷന്റെ നോർമലൈസ്ഡ് രൂപം.
- മിനിമൽ സം ഓഫ് പ്രൊഡക്റ്റ്സ് (SOP): ലളിതമാക്കിയ സം ഓഫ് പ്രൊഡക്റ്റ്സ് രൂപം.
- മിനിമൽ പ്രൊഡക്റ്റ് ഓഫ് സംസ്സ് (POS): ലളിതമാക്കിയ പ്രൊഡക്റ്റ് ഓഫ് സംസ്സ് രൂപം.
- ഒറ്റനോട്ടത്തിൽ: ഇതിൽ താഴെ പറയുന്ന ഡയഗ്നോസ്റ്റിക്സ് വിവരങ്ങൾ അടങ്ങിയിരിക്കുന്നു:
- വേരിയബിളുകൾ: കണ്ടെത്തിയ വേരിയബിളുകളുടെ ലിസ്റ്റ്.
- 1-ന് തുല്യമായ വരികൾ: മിൻടേമുകളുടെ എണ്ണം അല്ലെങ്കിൽ ലിസ്റ്റ്.
- പ്രൈം ഇംപ്ലിക്കന്റുകൾ: കണ്ടെത്തിയ ആകെ പ്രൈം ഇംപ്ലിക്കന്റുകളുടെ എണ്ണം.
- എസൻഷ്യൽ പ്രൈം ഇംപ്ലിക്കന്റുകൾ: എസൻഷ്യൽ പ്രൈം ഇംപ്ലിക്കന്റുകളുടെ എണ്ണം.
- ലിറ്ററലുകൾ, മുൻപ് → ശേഷം: ലളിതമാക്കുന്നതിന് മുൻപും ശേഷവുമുള്ള ലിറ്ററലുകളുടെ എണ്ണം.
- രീതി: ഉപയോഗിച്ച മിനിമൈസേഷൻ രീതി ("Quine–McCluskey, കൃത്യമായ മിനിമം കവർ" എന്ന് കാണിക്കും).
ലഭിച്ച ഫലം ക്ലിപ്പ്ബോർഡിലേക്ക് പകർത്താൻ "ഫലം കോപ്പി ചെയ്യുക" ബട്ടൺ ഉപയോഗിക്കാം. കൂടാതെ, ഇൻപുട്ട് എക്സ്പ്രഷനും ലളിതമാക്കിയ "മിനിമൽ SOP" രൂപവും വരി വരിയായി താരതമ്യം ചെയ്ത് ഉറപ്പുവരുത്താൻ സഹായിക്കുന്ന ഒരു "ട്രൂത്ത് ടേബിൾ" ഇതിനൊപ്പം ലഭിക്കുന്നു.
പിശകുകളും പരിഹാരങ്ങളും
ഇൻപുട്ട് നൽകുമ്പോൾ ഉണ്ടാകുന്ന തെറ്റുകൾ തിരുത്താൻ ടൂൾ കൃത്യമായ നിർദ്ദേശങ്ങൾ നൽകുന്നു:
- ഒരു ബൂളിയൻ എക്സ്പ്രഷൻ നൽകുക.: ഇൻപുട്ട് ഫീൽഡ് ശൂന്യമായിരിക്കുമ്പോൾ കാണിക്കുന്നു.
- എക്സ്പ്രഷൻ 2,000 അക്ഷരങ്ങളിൽ താഴെയായി സൂക്ഷിക്കുക.: അനുവദനീയമായ പരിധി കവിയുമ്പോൾ ഈ സന്ദേശം വരുന്നു.
- "
‹char›" (സ്ഥാനം‹position›) എന്നത് ഒരു ബൂളിയൻ ഓപ്പറേറ്ററോ, വേരിയബിളോ അല്ലെങ്കിൽ കോൺസ്റ്റന്റോ അല്ല.: തെറ്റായ അക്ഷരങ്ങളോ ചിഹ്നങ്ങളോ ഉപയോഗിക്കുമ്പോൾ കാണിക്കുന്നു. - സ്ഥാനം
‹position›-ന് അടുത്ത് ഒരു ഓപ്പറേറ്ററിന് അതിന്റെ ഓപ്പറാൻഡ് നഷ്ടമായിരിക്കുന്നു — ഒരു + · അല്ലെങ്കിൽ ⊕ ഉണ്ടോ എന്ന് പരിശോധിക്കുക.: ഓപ്പറേറ്ററുകൾക്ക് ഇരുവശത്തും ആവശ്യമായ വേരിയബിളുകൾ ഇല്ലാതെ വരുമ്പോൾ കാണിക്കുന്നു. - ബ്രാക്കറ്റുകൾ കൃത്യമല്ല — ഒരു ബ്രാക്കറ്റ് ചേർക്കുകയോ ഒഴിവാക്കുകയോ ചെയ്യുക.: ബ്രാക്കറ്റുകളുടെ എണ്ണം തുല്യമല്ലെങ്കിൽ ഈ പിശക് കാണിക്കുന്നു.
- ഈ എക്സ്പ്രഷൻ
‹count›വ്യത്യസ്ത വേരിയബിളുകൾ ഉപയോഗിക്കുന്നു; സിംപ്ലിഫയർ പരമാവധി 6 എണ്ണം വരെ മാത്രമേ പിന്തുണയ്ക്കൂ.: 6-ൽ കൂടുതൽ വേരിയബിളുകൾ ഉപയോഗിച്ചാൽ ഈ മുന്നറിയിപ്പ് ലഭിക്കും.
എക്സ്പ്രഷൻ എപ്പോഴും ഒരേ വാല്യൂ നൽകുന്ന ഒന്നാണെങ്കിൽ (Tautology അല്ലെങ്കിൽ Contradiction), ടോട്ടോളജിക്ക് "ഈ എക്സ്പ്രഷൻ എപ്പോഴും 1 ആണ്: വാല്യൂസിന്റെ എല്ലാ കോമ്പിനേഷനുകളും ഇതിനെ ട്രൂ ആക്കുന്നു." എന്നും, കോൺട്രഡിക്ഷന് "ഈ എക്സ്പ്രഷൻ എപ്പോഴും 0 ആണ്: വാല്യൂസിന്റെ ഒരു കോമ്പിനേഷനും ഇതിനെ ട്രൂ ആക്കില്ല." എന്നും വ്യക്തമായ സന്ദേശം ലഭിക്കും. ഇൻപുട്ട് ചെയ്ത എക്സ്പ്രഷൻ നേരത്തെ തന്നെ ലളിതമാണെങ്കിൽ "നിങ്ങളുടെ എക്സ്പ്രഷൻ നിലവിൽ തന്നെ ഏറ്റവും ലളിതമായ സം ഓഫ് പ്രൊഡക്റ്റ്സ് രൂപത്തിലാണ്." എന്ന് കാണിക്കും.
പതിവായി ചോദിക്കുന്ന ചോദ്യങ്ങൾ (FAQ)
ചോദ്യം: എന്തുകൊണ്ടാണ് പരമാവധി 6 വേരിയബിളുകൾ മാത്രം പിന്തുണയ്ക്കുന്നത്?
ഉത്തരം: ആറ് വേരിയബിളുകൾ തന്നെ 64 വരികളുള്ള ഒരു ട്രൂത്ത് ടേബിൾ നിർമ്മിക്കുന്നു, ഇത് കൈകൊണ്ട് വായിക്കാനും പരിശോധിക്കാനും കഴിയുന്നതിന്റെ പരമാവധി പരിധിയാണ്. അതിനപ്പുറവും സിംപ്ലിഫിക്കേഷൻ സിദ്ധാന്തപരമായി പ്രവർത്തിക്കുമെങ്കിലും, ഈ പേജ് അടിസ്ഥാനമാക്കിയിരിക്കുന്ന ഡെറിവേഷനും ടേബിളും തെളിവ് എന്ന നിലയിൽ ഉപയോഗപ്രദമല്ലാതായിത്തീരും. കൂടുതൽ വേരിയബിളുകൾ ഉള്ള ഫങ്ഷനുകൾക്ക് ഫയൽ ഔട്ട്പുട്ട് നൽകുന്ന ലോജിക്-ഡിസൈൻ സോഫ്റ്റ്വെയറുകളാണ് കൂടുതൽ അനുയോജ്യം.
ചോദ്യം: മിനിമൽ ഫോം എങ്ങനെയാണ് കണ്ടെത്തുന്നത്?
ഉത്തരം: ഈ ടൂൾ പൂർണ്ണമായ ട്രൂത്ത് ടേബിൾ നിർമ്മിക്കുകയും, അടുത്തടുത്തുള്ള 1-വരികളെ പ്രൈം ഇംപ്ലിക്കന്റുകളായി ലയിപ്പിക്കുകയും (Quine–McCluskey രീതി), എസൻഷ്യൽ ആയവ നിലനിർത്തുകയും, ബാക്കിയുള്ള വരികളെ കൃത്യമായ മിനിമം കവർ ഉപയോഗിച്ച് പൂർത്തിയാക്കുകയും ചെയ്യുന്നു. ഇതിലൂടെ ലഭിക്കുന്ന ഫലം സം-ഓഫ്-പ്രൊഡക്റ്റ്സ് രൂപത്തിന് ഏറ്റവും കുറഞ്ഞതാണെന്ന് ഉറപ്പുനൽകുന്നു — ഇതൊരു ഹ്യൂറിസ്റ്റിക് രീതിയല്ല — കൂടാതെ 0-വരികളിൽ ഇതേ പ്രക്രിയ ചെയ്യുന്നതിലൂടെ പ്രൊഡക്റ്റ് ഓഫ് സംസ്സ് ലഭിക്കുന്നു.
ചോദ്യം: എക്സ്പ്രഷൻ എഴുതുന്നതിനുള്ള ഏതൊക്കെ രീതികളാണ് ഇതിൽ മനസ്സിലാകുക?
ഉത്തരം: സാധാരണയായി ഉപയോഗിക്കുന്ന എല്ലാ രീതികളും ഒരുമിച്ച് ഉപയോഗിക്കാം: എഞ്ചിനീയറിംഗ് ശൈലി (AB + A'C, ഇവിടെ AND വ്യക്തമാക്കാത്തതും NOT-നായി പ്രൈമും ഉപയോഗിക്കുന്നു), പ്രോഗ്രാമിംഗ് ശൈലി (A &&!B || C, A ^ B), ലോജിക് ചിഹ്നങ്ങൾ (¬ ∧ ∨ ⊕ ⊼ ⊽), സാധാരണ വാക്കുകൾ (A AND B OR NOT C, NAND, NOR). ABC പോലെയുള്ള ഒന്നിലധികം അക്ഷരങ്ങൾ തുടർച്ചയായി വരുന്നത് A AND B AND C എന്നതിനെ സൂചിപ്പിക്കുന്നു, കൂടാതെ AND, OR, NOT, XOR, NAND, NOR എന്നീ വാക്കുകൾ എപ്പോഴും ഓപ്പറേറ്ററുകളായിട്ടാണ് കണക്കാക്കുക.
ചോദ്യം: SOP, POS ഫലങ്ങൾ തമ്മിലുള്ള വ്യത്യാസം എന്താണ്?
ഉത്തരം: രണ്ടും ഒരേ ഫങ്ഷനെയാണ് സൂചിപ്പിക്കുന്നത്. സം ഓഫ് പ്രൊഡക്റ്റ്സ് (SOP) എന്നത് AB' + BC പോലെയുള്ള AND-ടേമുകളെ തമ്മിൽ OR ചെയ്യുന്നു, ഇത് നേരിട്ട് AND–OR സർക്യൂട്ടുകളിലേക്ക് മാറ്റാം; പ്രൊഡക്റ്റ് ഓഫ് സംസ്സ് (POS) എന്നത് (A + B)(B' + C) പോലെയുള്ള OR-ഫാക്ടറുകളെ തമ്മിൽ AND ചെയ്യുന്നു, ഇത് OR–AND സർക്യൂട്ടുകളിലേക്ക് മാറ്റാം. ഫങ്ഷനെ ആശ്രയിച്ച്, ഒരു രൂപത്തിന് മറ്റേതിനേക്കാൾ കുറഞ്ഞ ഗേറ്റുകൾ മാത്രം മതിയാകും, അതിനാൽ ഈ ടൂൾ എപ്പോഴും രണ്ട് രൂപങ്ങളും കാണിക്കുന്നു.