ਬੂਲੀਅਨ ਅਲਜਬਰਾ ਸਰਲੀਕਰਨਕਰਤਾ

ਬੂਲੀਅਨ ਅਲਜਬਰਾ ਸਰਲੀਕਰਨਕਰਤਾ ਦੀ ਕਾਰਜਪ੍ਰਣਾਲੀ

ਬੂਲੀਅਨ ਅਲਜਬਰਾ ਸਰਲੀਕਰਨਕਰਤਾ ਇੱਕ ਮੁਫ਼ਤ ਔਨਲਾਈਨ ਟੂਲ ਹੈ ਜੋ ਕਿਸੇ ਵੀ ਬੂਲੀਅਨ ਐਕਸਪ੍ਰੈਸ਼ਨ ਨੂੰ ਉਸਦੇ ਸਭ ਤੋਂ ਸਰਲ ਗਣਿਤਕ ਰੂਪਾਂ ਵਿੱਚ ਘਟਾਉਂਦਾ ਹੈ। ਉਪਭੋਗਤਾ ਇਸ ਟੂਲ ਵਿੱਚ ਕੋਈ ਵੀ ਬੂਲੀਅਨ ਐਕਸਪ੍ਰੈਸ਼ਨ ਟਾਈਪ ਜਾਂ ਪੇਸਟ ਕਰ ਸਕਦੇ ਹਨ, ਅਤੇ ਇਹ ਤੁਰੰਤ ਨਿਊਨਤਮ ਗੁਣਨਫਲਾਂ ਦਾ ਜੋੜ (SOP) ਅਤੇ ਨਿਊਨਤਮ ਜੋੜਾਂ ਦਾ ਗੁਣਨਫਲ (POS) ਦੋਵਾਂ ਦੀ ਗਣਨਾ ਕਰਕੇ ਪ੍ਰਦਰਸ਼ਿਤ ਕਰਦਾ ਹੈ।

ਇਹਨਾਂ ਸਰਲ ਰੂਪਾਂ ਦੇ ਨਾਲ, ਇਹ ਟੂਲ Quine–McCluskey ਵਿਧੀ ਦੀ ਵਰਤੋਂ ਕਰਕੇ ਸਰਲੀਕਰਨ ਦੀ ਪੜਾਅਵਾਰ ਪ੍ਰਕਿਰਿਆ ਨੂੰ ਦਰਸਾਉਂਦਾ ਹੈ, ਸਾਰੇ ਪ੍ਰਾਈਮ ਇੰਪਲੀਕੈਂਟਸ ਦੀ ਸੂਚੀ ਦਿੰਦਾ ਹੈ, ਅਤੇ ਇੱਕ ਰੋਅ-ਦਰ-ਰੋਅ ਸੱਚਾਈ ਸਾਰਣੀ (truth table) ਤਿਆਰ ਕਰਦਾ ਹੈ ਜੋ ਮੂਲ ਐਕਸਪ੍ਰੈਸ਼ਨ ਦੇ ਵਿਰੁੱਧ ਸਰਲ ਕੀਤੇ ਨਤੀਜਿਆਂ ਦੀ ਪੁਸ਼ਟੀ ਕਰਦੀ ਹੈ।

ਇਸ ਟੂਲ ਵਿੱਚ ਪ੍ਰੋਸੈਸਿੰਗ ਪੂਰੀ ਤਰ੍ਹਾਂ ਸਥਾਨਕ ਹੈ। ਐਕਸਪ੍ਰੈਸ਼ਨ ਇਸੇ ਬ੍ਰਾਊਜ਼ਰ ਵਿੱਚ ਸਰਲ ਕੀਤੇ ਜਾਂਦੇ ਹਨ ਅਤੇ ਤੁਹਾਡੀ ਡਿਵਾਈਸ ਤੋਂ ਕਦੇ ਬਾਹਰ ਨਹੀਂ ਜਾਂਦੇ।

ਇਨਪੁਟ ਫਾਰਮੈਟ ਅਤੇ ਸੀਮਾਵਾਂ

ਇਸ ਟੂਲ ਵਿੱਚ ਬੂਲੀਅਨ ਐਕਸਪ੍ਰੈਸ਼ਨ ਦਰਜ ਕਰਨ ਲਈ ਕਈ ਤਰ੍ਹਾਂ ਦੇ ਫਾਰਮੈਟਾਂ ਅਤੇ ਸੰਕੇਤਾਂ ਦੀ ਵਰਤੋਂ ਕੀਤੀ ਜਾ ਸਕਦੀ ਹੈ। ਚਲਾਂ (variables) ਨੂੰ ਸਿੰਗਲ ਅੱਖਰਾਂ ਵਜੋਂ ਲਿਖਿਆ ਜਾਂਦਾ ਹੈ। ਵੱਖ-ਵੱਖ ਓਪਰੇਟਰਾਂ ਨੂੰ ਇੰਜੀਨੀਅਰਿੰਗ ਸ਼ੈਲੀ, ਪ੍ਰੋਗਰਾਮਿੰਗ ਸ਼ੈਲੀ, ਲਾਜਿਕ ਚਿੰਨ੍ਹਾਂ ਜਾਂ ਸਧਾਰਨ ਸ਼ਬਦਾਂ ਵਿੱਚ ਲਿਖਿਆ ਜਾ ਸਕਦਾ ਹੈ, ਅਤੇ ਇਹਨਾਂ ਨੂੰ ਆਪਸ ਵਿੱਚ ਸੁਤੰਤਰ ਰੂਪ ਵਿੱਚ ਮਿਲਾਇਆ ਵੀ ਜਾ ਸਕਦਾ ਹੈ:

• 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 ਜਾਂ ⊽ ਵਜੋਂ ਲਿਖਿਆ ਜਾ ਸਕਦਾ ਹੈ।
• ਸਥਿਰ ਅੰਕ (Constants): ਐਕਸਪ੍ਰੈਸ਼ਨ ਵਿੱਚ 0 ਅਤੇ 1 ਦੀ ਵਰਤੋਂ ਕੀਤੀ ਜਾ ਸਕਦੀ ਹੈ।

ਇਸ ਟੂਲ ਦੀਆਂ ਕੁਝ ਤਕਨੀਕੀ ਸੀਮਾਵਾਂ ਹਨ:

• ਇਹ ਵੱਧ ਤੋਂ ਵੱਧ 6 ਵੱਖ-ਵੱਖ ਚਲਾਂ ਦਾ ਸਮਰਥਨ ਕਰਦਾ ਹੈ।
• ਇਨਪੁਟ ਐਕਸਪ੍ਰੈਸ਼ਨ ਦੀ ਲੰਬਾਈ ਵੱਧ ਤੋਂ ਵੱਧ 2,000 ਅੱਖਰ ਹੋ ਸਕਦੀ ਹੈ।

ਇੰਟਰਫੇਸ ਵਿੱਚ ਉਪਭੋਗਤਾਵਾਂ ਦੀ ਸਹੂਲਤ ਲਈ "ਇੱਕ ਓਪਰੇਟਰ ਸ਼ਾਮਲ ਕਰੋ" ਦੇ ਨਿਯੰਤਰਣ ਦਿੱਤੇ ਗਏ ਹਨ। ਇਸ ਤੋਂ ਇਲਾਵਾ, "ਇੱਕ ਐਕਸਪ੍ਰੈਸ਼ਨ ਅਜ਼ਮਾਓ" ਦੇ ਤਹਿਤ ਤਿੰਨ ਸ਼ਾਰਟਕੱਟ ਉਪਲਬਧ ਹਨ:

• ਟਰਮਾਂ ਦੀ ਵਿਲੀਨਤਾ (ਸਹਿਮਤੀ ਉਦਾਹਰਨ)
• ਨਕਾਰਾਤਮਕ ਗੁਣਨਫਲ (ਡੀ ਮੋਰਗਨ ਉਦਾਹਰਨ)
• ਥ੍ਰੀ-ਵੇਅ XOR (XOR ਉਦਾਹਰਨ)

ਇਨਪੁਟ ਖੇਤਰ ਨੂੰ ਖਾਲੀ ਕਰਨ ਲਈ "ਸਾਫ਼ ਕਰੋ" ਬਟਨ ਦਿੱਤਾ ਗਿਆ ਹੈ।

ਆਉਟਪੁੱਟ ਅਤੇ ਡਾਇਗਨੌਸਟਿਕਸ

ਜਦੋਂ ਕੋਈ ਐਕਸਪ੍ਰੈਸ਼ਨ ਦਰਜ ਕੀਤਾ ਜਾਂਦਾ ਹੈ, ਤਾਂ ਟੂਲ ਹੇਠ ਲਿਖੇ ਨਤੀਜੇ ਪ੍ਰਦਰਸ਼ਿਤ ਕਰਦਾ ਹੈ:

• ਇਸ ਤਰ੍ਹਾਂ ਪੜ੍ਹਿਆ ਗਿਆ: ਇਨਪੁਟ ਐਕਸਪ੍ਰੈਸ਼ਨ ਦਾ ਮਿਆਰੀ ਵਿਆਖਿਆ ਰੂਪ।
• ਨਿਊਨਤਮ ਗੁਣਨਫਲਾਂ ਦਾ ਜੋੜ (SOP): ਸਰਲ ਬਣਾਇਆ ਗਿਆ SOP ਰੂਪ।
• ਨਿਊਨਤਮ ਜੋੜਾਂ ਦਾ ਗੁਣਨਫਲ (POS): ਸਰਲ ਬਣਾਇਆ ਗਿਆ POS ਰੂਪ।
• ਨਤੀਜਾ ਕਾਪੀ ਕਰੋ: ਸਰਲ ਕੀਤੇ ਨਤੀਜੇ ਨੂੰ ਕਲਿੱਪਬੋਰਡ ਵਿੱਚ ਸੇਵ ਕਰਨ ਲਈ ਬਟਨ।

"ਇੱਕ ਨਜ਼ਰ ਵਿੱਚ" ਡਾਇਗਨੌਸਟਿਕਸ ਪੈਨਲ ਵਿੱਚ ਹੇਠ ਲਿਖੀ ਜਾਣਕਾਰੀ ਮਿਲਦੀ ਹੈ:

• ਚਲ: ਖੋਜੇ ਗਏ ਚਲਾਂ ਦੀ ਸੂਚੀ।
• 1 ਦੇ ਬਰਾਬਰ ਰੋਅ: ਮਿਨਟਰਮਾਂ ਦੀ ਗਿਣਤੀ ਜਾਂ ਸੂਚੀ।
• ਪ੍ਰਾਈਮ ਇੰਪਲੀਕੈਂਟਸ: ਲੱਭੇ ਗਏ ਕੁੱਲ ਪ੍ਰਾਈਮ ਇੰਪਲੀਕੈਂਟਸ ਦੀ ਗਿਣਤੀ।
• ਜ਼ਰੂਰੀ ਪ੍ਰਾਈਮ ਇੰਪਲੀਕੈਂਟਸ: ਜ਼ਰੂਰੀ ਪ੍ਰਾਈਮ ਇੰਪਲੀਕੈਂਟਸ ਦੀ ਗਿਣਤੀ।
• ਲਿਟਰਲ, ਪਹਿਲਾਂ → ਬਾਅਦ ਵਿੱਚ: ਸਰਲੀਕਰਨ ਤੋਂ ਪਹਿਲਾਂ ਅਤੇ ਬਾਅਦ ਵਿੱਚ ਲਿਟਰਲਸ ਦੀ ਗਿਣਤੀ।
• ਵਿਧੀ: ਵਰਤੀ ਗਈ ਨਿਊਨਤਮੀਕਰਨ ਵਿਧੀ, ਜੋ "Quine–McCluskey, ਸਹੀ ਨਿਊਨਤਮ ਕਵਰ" ਵਜੋਂ ਦਿਖਾਈ ਦਿੰਦੀ ਹੈ।

ਸਰਲੀਕਰਨ ਦੀ ਪੜਾਅਵਾਰ ਪ੍ਰਕਿਰਿਆ

"ਇਸਨੂੰ ਕਿਵੇਂ ਸਰਲ ਬਣਾਇਆ ਗਿਆ" ਸੈਕਸ਼ਨ ਦੇ ਤਹਿਤ ਪੂਰੀ ਗਣਿਤਕ ਪ੍ਰਕਿਰਿਆ ਨੂੰ ਵਿਸਥਾਰ ਵਿੱਚ ਸਮਝਾਇਆ ਜਾਂਦਾ ਹੈ:

1. ਚਲਾਂ ਦੀ ਗਿਣਤੀ:

   • ਜੇਕਰ ਐਕਸਪ੍ਰੈਸ਼ਨ ਵਿੱਚ ਇੱਕ ਤੋਂ ਵੱਧ ਚਲ ਹਨ: "ਐਕਸਪ੍ਰੈਸ਼ਨ ‹count› ਚਲਾਂ (‹variables›) ਦੀ ਵਰਤੋਂ ਕਰਦਾ ਹੈ, ਇਸ ਲਈ ਸੱਚਾਈ ਸਾਰਣੀ ਵਿੱਚ ‹rows› ਰੋਅ ਹਨ।"
   • ਜੇਕਰ ਇੱਕ ਚਲ ਹੈ: "ਐਕਸਪ੍ਰੈਸ਼ਨ ਇੱਕ ਚਲ, ‹variables› ਦੀ ਵਰਤੋਂ ਕਰਦਾ ਹੈ, ਇਸ ਲਈ ਸੱਚਾਈ ਸਾਰਣੀ ਵਿੱਚ ‹rows› ਰੋਅ ਹਨ।"
   • ਜੇਕਰ ਕੋਈ ਚਲ ਨਹੀਂ ਹੈ: "ਐਕਸਪ੍ਰੈਸ਼ਨ ਕਿਸੇ ਵੀ ਚਲ ਦੀ ਵਰਤੋਂ ਨਹੀਂ ਕਰਦਾ, ਇਸ ਲਈ ਇਹ ਇੱਕ ਸਿੰਗਲ ਸਥਿਰ ਅੰਕ ਦਾ ਮੁਲਾਂਕਣ ਕਰਦਾ ਹੈ।"

2. ਮਿਨਟਰਮ ਅਤੇ ਮੈਕਸਟਰਮ: "ਇਹ ਰੋਅ Σm(‹minterms›) 'ਤੇ 1 ਦੇ ਬਰਾਬਰ ਅਤੇ ਰੋਅ ΠM(‹maxterms›) 'ਤੇ 0 ਦੇ ਬਰਾਬਰ ਹੈ।"

3. ਪ੍ਰਾਈਮ ਇੰਪਲੀਕੈਂਟਸ: "ਗੁਆਂਢੀ 1-ਰੋਅ ਨੂੰ ਜਿੱਥੋਂ ਤੱਕ ਸੰਭਵ ਹੋਵੇ ਵਿਲੀਨ ਕਰਨ 'ਤੇ ‹count› ਪ੍ਰਾਈਮ ਇੰਪਲੀਕੈਂਟਸ ਬਚਦੇ ਹਨ: ‹list›।"

4. ਜ਼ਰੂਰੀ ਪ੍ਰਾਈਮ ਇੰਪਲੀਕੈਂਟਸ:

   • ਜੇਕਰ ਮੌਜੂਦ ਹਨ: "ਜ਼ਰੂਰੀ ਪ੍ਰਾਈਮ ਇੰਪਲੀਕੈਂਟਸ — ਘੱਟੋ-ਘੱਟ ਇੱਕ ਰੋਅ ਲਈ ਇੱਕਮਾਤਰ ਬਾਕੀ ਬਚਿਆ ਕਵਰ: ‹list›।"
   • ਜੇਕਰ ਕੋਈ ਨਹੀਂ ਹੈ: "ਕੋਈ ਵੀ ਪ੍ਰਾਈਮ ਇੰਪਲੀਕੈਂਟ ਜ਼ਰੂਰੀ ਨਹੀਂ ਹੈ: ਹਰੇਕ 1-ਰੋਅ ਨੂੰ ਇੱਕ ਤੋਂ ਵੱਧ ਤਰੀਕਿਆਂ ਨਾਲ ਕਵਰ ਕੀਤਾ ਜਾ ਸਕਦਾ ਹੈ।"

5. ਅਣ-ਕਵਰਡ ਰੋਅ ਦਾ ਹੱਲ:

   • ਜੇਕਰ ਵਾਧੂ ਟਰਮਾਂ ਦੀ ਲੋੜ ਹੈ: "ਅਜੇ ਤੱਕ ਅਣ-ਕਵਰ ਕੀਤੀਆਂ ਰੋਅ ਨੂੰ ਸਭ ਤੋਂ ਘੱਟ ਵਾਧੂ ਟਰਮਾਂ ਨਾਲ ਬੰਦ ਕੀਤਾ ਗਿਆ ਹੈ: ‹list›।"
   • ਜੇਕਰ ਪਹਿਲਾਂ ਹੀ ਕਵਰਡ ਹਨ: "ਜ਼ਰੂਰੀ ਪ੍ਰਾਈਮ ਇੰਪਲੀਕੈਂਟਸ ਪਹਿਲਾਂ ਹੀ ਹਰੇਕ 1-ਰੋਅ ਨੂੰ ਕਵਰ ਕਰਦੇ ਹਨ, ਇਸ ਲਈ ਜੋੜ ਪੂਰਾ ਹੈ।"

6. POS ਅਤੇ ਵੈਰੀਫਿਕੇਸ਼ਨ:

   • "0-ਰੋਅ 'ਤੇ ਇਹੀ ਵਿਲੀਨਤਾ ਚਲਾਉਣ ਨਾਲ ਨਿਊਨਤਮ ਜੋੜਾਂ ਦਾ ਗੁਣਨਫਲ ‹pos› ਮਿਲਦਾ ਹੈ।"
   • "ਦੋਵੇਂ ਨਿਊਨਤਮ ਰੂਪ ਸੱਚਾਈ ਸਾਰਣੀ ਦੀਆਂ ਸਾਰੀਆਂ ‹rows› ਰੋਅ 'ਤੇ ਮੂਲ ਐਕਸਪ੍ਰੈਸ਼ਨ ਨਾਲ ਮੇਲ ਖਾਂਦੇ ਹਨ।"

ਇਸ ਤੋਂ ਬਾਅਦ ਇੱਕ ਪੂਰੀ "ਸੱਚਾਈ ਸਾਰਣੀ (Truth table)" ਦਿਖਾਈ ਜਾਂਦੀ ਹੈ, ਜਿਸ ਵਿੱਚ ਚਲਾਂ ਦੇ ਕਾਲਮਾਂ ਦੇ ਨਾਲ "ਐਕਸਪ੍ਰੈਸ਼ਨ" (ਮੂਲ) ਅਤੇ "ਨਿਊਨਤਮ SOP" (ਸਰਲ) ਦੇ ਕਾਲਮ ਹੁੰਦੇ ਹਨ ਤਾਂ ਜੋ ਰੋਅ-ਦਰ-ਰੋਅ ਮਿਲਾਨ ਕੀਤਾ ਜਾ ਸਕੇ।

ਗਲਤੀਆਂ ਅਤੇ ਵਿਸ਼ੇਸ਼ ਸਥਿਤੀਆਂ

ਟੂਲ ਵਿੱਚ ਇਨਪੁਟ ਦੀ ਵੈਧਤਾ ਦੀ ਜਾਂਚ ਕਰਨ ਲਈ ਸਖ਼ਤ ਨਿਯਮ ਹਨ। ਗਲਤ ਇਨਪੁਟ ਹੋਣ 'ਤੇ ਹੇਠ ਲਿਖੇ ਸੁਨੇਹੇ ਦਿਖਾਈ ਦਿੰਦੇ ਹਨ:

• ਖਾਲੀ ਇਨਪੁਟ: "ਇੱਕ ਬੂਲੀਅਨ ਐਕਸਪ੍ਰੈਸ਼ਨ ਦਰਜ ਕਰੋ।" (ਜਾਂ ਆਮ ਸਥਿਤੀ ਵਿੱਚ "ਸਰਲ ਬਣਾਉਣ ਲਈ ਇੱਕ ਬੂਲੀਅਨ ਐਕਸਪ੍ਰੈਸ਼ਨ ਟਾਈਪ ਕਰੋ।")
• ਅੱਖਰ ਸੀਮਾ ਤੋਂ ਵੱਧ: "ਐਕਸਪ੍ਰੈਸ਼ਨ ਨੂੰ 2,000 ਅੱਖਰਾਂ ਤੋਂ ਘੱਟ ਰੱਖੋ।"
• ਗਲਤ ਅੱਖਰ: "‹char›" (ਸਥਿਤੀ ‹position›) ਕੋਈ ਬੂਲੀਅਨ ਓਪਰੇਟਰ, ਚਲ ਜਾਂ ਸਥਿਰ ਅੰਕ (constant) ਨਹੀਂ ਹੈ।
• ਸਿੰਟੈਕਸ ਗਲਤੀ: "ਸਥਿਤੀ ‹position› ਦੇ ਨੇੜੇ ਇੱਕ ਓਪਰੇਟਰ ਦਾ ਓਪਰੈਂਡ ਗੁੰਮ ਹੈ — ਇੱਕ ਲਟਕਦੇ + · ਜਾਂ ⊕ ਦੀ ਜਾਂਚ ਕਰੋ।"
• ਅਸੰਤੁਲਿਤ ਬਰੈਕਟ: "ਬਰੈਕਟਾਂ ਅਸੰਤੁਲਿਤ ਹਨ — ਇੱਕ ਬਰੈਕਟ ਜੋੜੋ ਜਾਂ ਹਟਾਓ।"
• ਬਹੁਤ ਜ਼ਿਆਦਾ ਚਲ: "ਇਹ ਐਕਸਪ੍ਰੈਸ਼ਨ ‹count› ਵੱਖ-ਵੱਖ ਚਲਾਂ ਦੀ ਵਰਤੋਂ ਕਰਦਾ ਹੈ; ਸਰਲੀਕਰਨਕਰਤਾ ਵੱਧ ਤੋਂ ਵੱਧ 6 ਚਲਾਂ ਦਾ ਸਮਰਥਨ ਕਰਦਾ ਹੈ।"

ਸਥਿਰ ਐਕਸਪ੍ਰੈਸ਼ਨ (Constant Expressions): ਜੇਕਰ ਕੋਈ ਐਕਸਪ੍ਰੈਸ਼ਨ ਹਮੇਸ਼ਾ ਇੱਕ ਹੀ ਨਤੀਜਾ ਦਿੰਦਾ ਹੈ, ਤਾਂ ਟੂਲ "ਇਹ ਐਕਸਪ੍ਰੈਸ਼ਨ ਸਥਿਰ ਹੈ: ਇਹ ਹਮੇਸ਼ਾ ‹value› ਦੇ ਬਰਾਬਰ ਹੁੰਦਾ ਹੈ।" ਪ੍ਰਦਰਸ਼ਿਤ ਕਰਦਾ ਹੈ।

• ਟੌਟੋਲੋਜੀ (Tautology) ਲਈ: "ਇਹ ਐਕਸਪ੍ਰੈਸ਼ਨ ਹਮੇਸ਼ਾ 1 ਹੁੰਦਾ ਹੈ: ਮੁੱਲਾਂ ਦਾ ਹਰ ਸੁਮੇਲ ਇਸਨੂੰ ਸਹੀ (true) ਬਣਾਉਂਦਾ ਹੈ।"
• ਵਿਰੋਧਾਭਾਸ (Contradiction) ਲਈ: "ਇਹ ਐਕਸਪ੍ਰੈਸ਼ਨ ਹਮੇਸ਼ਾ 0 ਹੁੰਦਾ ਹੈ: ਮੁੱਲਾਂ ਦਾ ਕੋਈ ਵੀ ਸੁਮੇਲ ਇਸਨੂੰ ਸਹੀ (true) ਨਹੀਂ ਬਣਾਉਂਦਾ।"

ਜੇਕਰ ਇਨਪੁਟ ਪਹਿਲਾਂ ਹੀ ਸਭ ਤੋਂ ਸਰਲ ਰੂਪ ਵਿੱਚ ਹੈ, ਤਾਂ ਸੁਨੇਹਾ ਮਿਲਦਾ ਹੈ: "ਤੁਹਾਡਾ ਐਕਸਪ੍ਰੈਸ਼ਨ ਪਹਿਲਾਂ ਹੀ ਇੱਕ ਨਿਊਨਤਮ ਗੁਣਨਫਲਾਂ ਦਾ ਜੋੜ ਹੈ।" ਸਫਲਤਾਪੂਰਵਕ ਸਰਲੀਕਰਨ ਹੋਣ 'ਤੇ "ਸਰਲ ਬਣਾਇਆ ਗਿਆ ਅਤੇ ਸਾਰੀਆਂ ‹rows› ਰੋਅ 'ਤੇ ਜਾਂਚਿਆ ਗਿਆ।" ਦਿਖਾਈ ਦਿੰਦਾ ਹੈ।

ਸਰਕਟ ਡਿਜ਼ਾਈਨ ਵਿੱਚ SOP ਅਤੇ POS ਦੀ ਵਰਤੋਂ

ਡਿਜੀਟਲ ਲਾਜਿਕ ਡਿਜ਼ਾਈਨ ਵਿੱਚ, ਬੂਲੀਅਨ ਐਕਸਪ੍ਰੈਸ਼ਨਾਂ ਨੂੰ ਭੌਤਿਕ ਗੇਟਾਂ ਵਿੱਚ ਬਦਲਣ ਲਈ SOP (Sum of Products) ਅਤੇ POS (Product of Sums) ਦੋਵੇਂ ਬਹੁਤ ਮਹੱਤਵਪੂਰਨ ਹਨ।

SOP ਰੂਪ ਸਿੱਧੇ ਤੌਰ 'ਤੇ AND-OR ਗੇਟ ਸੰਰਚਨਾਵਾਂ ਨਾਲ ਮੇਲ ਖਾਂਦਾ ਹੈ, ਜਿੱਥੇ ਪਹਿਲਾਂ ਇਨਪੁਟਸ ਨੂੰ AND ਗੇਟਾਂ ਰਾਹੀਂ ਗੁਣਾ ਕੀਤਾ ਜਾਂਦਾ ਹੈ ਅਤੇ ਫਿਰ ਉਹਨਾਂ ਦੇ ਨਤੀਜਿਆਂ ਨੂੰ ਇੱਕ OR ਗੇਟ ਰਾਹੀਂ ਜੋੜਿਆ ਜਾਂਦਾ ਹੈ। ਇਸਦੇ ਉਲਟ, POS ਰੂਪ OR-AND ਸੰਰਚਨਾਵਾਂ ਲਈ ਢੁਕਵਾਂ ਹੁੰਦਾ ਹੈ, ਜਿੱਥੇ ਪਹਿਲਾਂ ਇਨਪੁਟਸ ਨੂੰ OR ਗੇਟਾਂ ਰਾਹੀਂ ਜੋੜਿਆ ਜਾਂਦਾ ਹੈ ਅਤੇ ਫਿਰ ਉਹਨਾਂ ਦੇ ਨਤੀਜਿਆਂ ਨੂੰ AND ਗੇਟ ਰਾਹੀਂ ਗੁਣਾ ਕੀਤਾ ਜਾਂਦਾ ਹੈ।

ਇਲੈਕਟ੍ਰੀਕਲ ਅਤੇ ਕੰਪਿਊਟਰ ਇੰਜੀਨੀਅਰ ਇਹਨਾਂ ਦੋਵਾਂ ਰੂਪਾਂ ਦੀ ਤੁਲਨਾ ਕਰਦੇ ਹਨ ਤਾਂ ਜੋ ਇਹ ਨਿਰਧਾਰਤ ਕੀਤਾ ਜਾ ਸਕੇ ਕਿ ਕਿਸ ਸੰਰਚਨਾ ਵਿੱਚ ਸਭ ਤੋਂ ਘੱਟ ਲਾਜਿਕ ਗੇਟਾਂ ਦੀ ਲੋੜ ਪਵੇਗੀ।