मूल तर्क
NOT
- संकेतन
- ¬A, A'
- प्रोग्रामिंग
- सर्किट
- इनवर्टर गेट
उदाहरण
सत्य मान को उलटता है।
यदि A का अर्थ लॉगिन किया गया है, तो ¬A का अर्थ लॉगिन न किया गया होना है।
सत्य तालिका
| A | Out |
|---|---|
| 0 | 1 |
| 1 | 0 |
संदर्भ
AND, OR, NOT, XOR, NAND, NOR और संबंधित संचालकों को सत्य तालिका, बूलियन बीजगणित, डिजिटल सर्किट, प्रोग्रामिंग और AIプロンプト विचार के साथ।
मूल तर्क
सत्य मान को उलटता है।
यदि A का अर्थ लॉगिन किया गया है, तो ¬A का अर्थ लॉगिन न किया गया होना है।
| A | Out |
|---|---|
| 0 | 1 |
| 1 | 0 |
मूल तर्क
केवल तभी सत्य होता है जब प्रत्येक इनपुट सत्य हो।
isLoggedIn && hasPermission
| A | B | Out |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
मूल तर्क
तब सत्य होता है जब कम से कम एक इनपुट सत्य हो।
isAdmin || isOwner
| A | B | Out |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 1 |
निर्यत परिचालक
तब सत्य होता है जब इनपुट भिन्न हों।
Half adder sum = A XOR B.
| A | B | Out |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 0 |
निर्यत परिचालक
AND का negation है। NAND गेट से कोई भी बूलियन सर्किट बनाया जा सकता है।
A NAND B = NOT (A AND B).
| A | B | Out |
|---|---|---|
| 0 | 0 | 1 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 0 |
निर्यत परिचालक
OR का negation है। NOR भी क्रियात्मक रूप से पूर्ण है।
A NOR B केवल तभी सत्य होता है जब दोनों इनपुट असत्य हों।
| A | B | Out |
|---|---|---|
| 0 | 0 | 1 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 0 |
निर्यत परिचालक
तब सत्य होता है जब इनपुट समान हों।
A XNOR B बूलियन মানों के लिए समता के रूप में कार्य करता है।
| A | B | Out |
|---|---|---|
| 0 | 0 | 1 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
बिटवाइस परिचालक
प्रत्येक बिट स्थिति पर AND लागू करता है। यह तार्किक && से भिन्न है।
0101 & 0011 = 0001
प्रोग्रामिंग
जब पहली अभिव्यक्ति से ही परिणाम निर्धारित हो जाता है, तो दूसरी अभिव्यक्ति नहीं चलेगी।
user && user.name
A ∧ 1 = A, A ∨ 0 = Aतटस्थ सत्य मान के साथ संयोजन करने पर A अपरिवर्तित रहता है।
A ∧ 0 = 0, A ∨ 1 = 1एक निश्चय इनपुट से समस्त परिणाम निर्धारित हो सकता है।
A ∧ ¬A = 0, A ∨ ¬A = 1एक कथन और उसका negation एक साथ सत्य नहीं हो सकते, लेकिन कम से कम एक सत्य होता है।
¬(A ∧ B) = ¬A ∨ ¬B, ¬(A ∨ B) = ¬A ∧ ¬BNEgation को AND या OR के पार ले जाने पर ऑपरेटर अदल-बदल होता है।
A ∨ (A ∧ B) = A, A ∧ (A ∨ B) = Aपुनरावृत्त शर्त अधिक विशिष्ट शर्त को अवशोषित करके अभिव्यक्ति को सरल करती है।