ट्रुथ टेबल: Difference between revisions

Latest revision as of 10:49, 24 February 2023

ट्रुथ टेबल एक गणितीय तालिका है जिसका उपयोग तर्क में किया जाता है - विशेष रूप से बूलियन बीजगणित(तर्क), बूलियन फलन और तर्कवाक्यिक कलन के संबंध में - जो उनके प्रत्येक कार्यात्मक तर्कों पर तार्किक अभिव्यक्ति(गणित) के कार्यात्मक मानों को निर्धारित करता है, अर्थात उनके द्वारा लिए गए मानों के प्रत्येक संयोजन के लिए मूल्यांकन(तर्क) चर।^[1] विशेष रूप से, ट्रुथ टेबल का उपयोग यह दिखाने के लिए किया जा सकता है कि क्या सभी वैध निविष्ट मानों के लिए तर्कवाक्यात्मक अभिव्यक्ति सत्य है, अर्थात वैधता(तर्क)।

ट्रुथ टेबल में प्रत्येक निविष्ट चर(उदाहरण के लिए, P और Q) के लिए एक स्तंभ होता है, और एक अंतिम स्तंभ तालिका द्वारा प्रस्तुत तार्किक संक्रिया के सभी संभावित परिणामों को दर्शाता है(उदाहरण के लिए, P XOR Q)। ट्रूथ टेबल की प्रत्येक पंक्ति में निविष्ट चरों का संभावित विन्यास होता है(उदाहरण के लिए, P=सत्य Q=असत्य), और उन मानों के लिए संक्रिया का परिणाम। अधिक स्पष्टीकरण के लिए नीचे दिए गए उदाहरण देखें। लुडविग विट्गेन्स्टाइन को सामान्यतः उनके ट्रैक्टेटस तर्क-दार्शनिक में ट्रुथ टेबल का आविष्कार करने और लोकप्रिय बनाने का श्रेय दिया जाता है, जो 1918 में पूर्ण हुआ और 1921 में प्रकाशित हुआ।^[2] इस रूप की प्रणाली को 1921 में एमिल लियोन पोस्ट द्वारा स्वतंत्र रूप से तर्कवाक्यित किया गया था।^[3] 1893 से चार्ल्स सैंडर्स पियर्स द्वारा अप्रकाशित हस्तलेखयों में ट्रुथ टेबल का पूर्व के पुनरावृति भी पाया गया है, जो दोनों प्रकाशनों को लगभग 30 वर्षों से प्राचीन कर रहा है।^[4]

एकल संक्रियाएँ

4 एकल संक्रिया हैं:

अटल सत्य
कभी सत्य नहीं, एकल असत्य
एकात्मक तत्समक
एकात्मक निषेध

तार्किक सत्य

p के निविष्ट मान पर ध्यान दिए बिना निर्गत मान सदैव सत्य होता है

**तार्किक सत्य**
p	$T$
T	T
F	T

तार्किक असत्य

निर्गत मान कभी भी सत्य नहीं होता है: p के निविष्ट मान के अतिरिक्त, सदैव असत्य होता है

**तार्किक असत्य**
p	$F$
T	F
F	F

तार्किक तत्समक

तत्समक फलन एक तार्किक मान p पर एक तार्किक संक्रिया है, जिसके लिए निर्गत मान p रहता है।

तार्किक तत्समक संक्रियक के लिए ट्रुथ टेबल इस प्रकार है:

**तार्किक तत्समक**
p	$p$
T	T
F	F

तार्किक निषेध

तार्किक निषेध तार्किक मान पर एक तार्किक संक्रिया है, सामान्यतः एक तर्कवाक्य का मान, जो सत्य का मान उत्पन्न करता है यदि उसका संकार्य असत्य है और असत्य का मान यदि उसका संकार्य सत्य है।

NOT p(¬p, Np, Fpq, या ~p के रूप में भी लिखा जाता है) के लिए ट्रुथ टेबल इस प्रकार है:

**तार्किक निषेध**
p	$\negp$
T	F
F	T

द्विआधारी संक्रियाएँ

दो द्विआधारी चर के 16 संभावित सत्य कार्य हैं:

सभी द्विआधारी तार्किक संक्रियकों के लिए ट्रुथ टेबल

यहाँ दो बूलियन चर P और Q के सभी सोलह संभावित सत्य कार्यों की परिभाषाएँ देने वाली एक विस्तारित ट्रुथ टेबल है:^{[note 1]}

p	q	F⁰	NOR¹	↚²	¬p³	↛⁴	¬q⁵	XOR⁶	NAND⁷	AND⁸	XNOR⁹	q¹⁰	→¹¹	p¹²	←¹³	OR¹⁴	T¹⁵
T	T	F	F	F	F	F	F	F	F	T	T	T	T	T	T	T	T
T	F	F	F	F	F	T	T	T	T	F	F	F	F	T	T	T	T
F	T	F	F	T	T	F	F	T	T	F	F	T	T	F	F	T	T
F	F	F	T	F	T	F	T	F	T	F	T	F	T	F	T	F	T
Com		✓	✓					✓	✓	✓	✓					✓	✓
Assoc		✓						✓		✓	✓	✓		✓		✓	✓
Adj		F⁰	NOR¹	↛⁴	¬q⁵	↚²	¬p³	XOR⁶	NAND⁷	AND⁸	XNOR⁹	p¹²	←¹³	q¹⁰	→¹¹	OR¹⁴	T¹⁵
Neg		T¹⁵	OR¹⁴	←¹³	p¹²	→¹¹	q¹⁰	XNOR⁹	AND⁸	NAND⁷	XOR⁶	¬q⁵	↛⁴	¬p³	↚²	NOR¹	F⁰
Dual		T¹⁵	NAND⁷	→¹¹	¬p³	←¹³	¬q⁵	XNOR⁹	NOR¹	OR¹⁴	XOR⁶	q¹⁰	↚²	p¹²	↛⁴	AND⁸	F⁰
L id				F				F		T	T	T,F	T			F
R id						F		F		T	T			T,F	T	F

जहाँ

T= सत्य।

F= असत्य।

मूर्धांक ⁰ से ¹⁵ वह संख्या है जो चार सत्य मानों F = 0 और T = 1 के साथ द्विआधारी संख्या के रूप में पढ़ने से उत्पन्न होती है।

Com पंक्ति इंगित करती है कि क्या एक संक्रियक, op, क्रमविनिमेय गुण है -P op Q = Q op P।

Assoc पंक्ति इंगित करती है कि क्या एक संक्रियक, op, साहचर्य गुण है -(P op Q) op R = P op(Q op R).

Adj पंक्ति संक्रियक op2 को इस प्रकार दर्शाती है कि P op Q = Q op2 P

Neg पंक्ति संक्रियक op2 को ऐसे दिखाती है कि P op Q = ¬(P op2 Q)

Dual पंक्ति T को F, और AND को OR से बदलने पर प्राप्त किए गए द्वैत सिद्धांत(बूलियन बीजगणित) को दर्शाती है।

L id पंक्ति संक्रियक की बाईं तत्समक दिखाती है यदि इसमें कोई - मान I है जैसे कि I op Q = Q।

R id पंक्ति संक्रियक की सत्य तत्समक दिखाती है यदि इसमें कोई - मान I है जैसे कि P op I = P।^{[note 2]}

p, q के लिए निविष्ट मानों के चार संयोजन उपरोक्त तालिका से पंक्ति द्वारा पढ़े जाते हैं। प्रत्येक p, q संयोजन के लिए निर्गत फलन को तालिका से, पंक्ति द्वारा पढ़ा जा सकता है।

कुंजी:

निम्न तालिका पंक्ति के अतिरिक्त स्तंभ द्वारा उन्मुख है। निविष्ट के रूप में p, q के चार संयोजनों को प्रदर्शित करने के लिए चार पंक्तियों के अतिरिक्त चार स्तंभ हैं।

p: T T F F
q: T F T F

इस कुंजी में 16 पंक्तियाँ हैं, दो द्विआधारी चर, p, q के प्रत्येक द्विआधारी फलन के लिए एक पंक्ति। उदाहरण के लिए, इस कुंजी की पंक्ति 2 में, विलोम गैर-निम्नलिखित का मान(' $\nleftarrow$ ') अद्वितीय संयोजन p=F, q=T द्वारा दर्शाए गए स्तंभ के लिए मात्र T है; जबकि पंक्ति 2 में, उस का मान ' $\nleftarrow$ p, q के तीन शेष स्तंभों के लिए संक्रिया F है। $\nleftarrow$ के लिए निर्गत पंक्ति इस प्रकार है

2: F F T F

और 16-पंक्ति^[5] कुंजी है

	^[5]		operator	Operation name
0	(F F F F)(p, q)	⊥	असत्य, Opq	प्रतिवाद
1	(F F F T)(p, q)	NOR	p ↓ q, Xpq	तार्किक NOR
2	(F F T F)(p, q)	↚	p ↚ q, Mpq	विपरीत गैरनिहितार्थ
3	(F F T T)(p, q)	¬p, ~p	¬p, Np, Fpq	निषेध
4	(F T F F)(p, q)	↛	p ↛ q, Lpq	सामाग्र गैरनिहितार्थ
5	(F T F T)(p, q)	¬q, ~q	¬q, Nq, Gpq	निषेध
6	(F T T F)(p, q)	XOR	p ⊕ q, Jpq	अनन्य वियोजन
7	(F T T T)(p, q)	NAND	p ↑ q, Dpq	तार्किक NAND
8	(T F F F)(p, q)	AND	p ∧ q, Kpq	तार्किक संयोजन
9	(T F F T)(p, q)	XNOR	p यदि और मात्र यदि q, Epq	तार्किक biप्रतिबंधात्मक
10	(T F T F)(p, q)	q	q, Hpq	प्रक्षेपण फलन
11	(T F T T)(p, q)	p → q	यदि p तो q, Cpq	सामाग्र निहितार्थ
12	(T T F F)(p, q)	p	p, Ipq	प्रक्षेपण फलन
13	(T T F T)(p, q)	p ← q	p यदि q, Bpq	विपरीत निहितार्थ
14	(T T T F)(p, q)	OR	p ∨ q, Apq	तार्किक वियोजन
15	(T T T T)(p, q)	⊤	सत्य, Vpq	पुनरुक्ति

तार्किक संचालकों को वेन आरेख अवलोकन का उपयोग करके भी देखा जा सकता है।

तार्किक संयोजन(AND)

तार्किक संयुग्मन दो तार्किक मानों पर एक तार्किक संक्रिया है, सामान्यतः दो तर्कवाक्यों के मान, जो कि कम से कम एक संकार्य सत्य होने पर सत्य का मान उत्पन्न करते हैं।

p OR q(जिसे p ∨ q, Apq, p || q, या p + q) के रूप में भी लिखा जाता है) के लिए सत्य सारणी इस प्रकार है:

:

**तार्किक संयोजन**
p	q	p ∧ q
T	T	T
T	F	F
F	T	F
F	F	F

सामान्य भाषा में, यदि p और q दोनों सत्य हैं, तो संयोजन p ∧ q सत्य है। p और q के तार्किक मानों के अन्य सभी समनुदेश के लिए संयोजन p∧ q असत्य है।

यह भी कहा जा सकता है कि यदि p, तो p∧q, q है, अन्यथा p∧q, p है।

तार्किक वियोजन(OR)

तार्किक विच्छेदन दो तार्किक मानों पर एक तार्किक संक्रिया है, सामान्यतः दो तर्कवाक्यों के मान, जो कि कम से कम एक संकार्य सत्य होने पर सत्य का मान उत्पन्न करता है।

p OR q(जिसे p ∨ q, Apq, p || q, या p + q के रूप में भी लिखा जाता है) के लिए ट्रुथ टेबल इस प्रकार है:

**तार्किक वियोजन**
p	q	p ∨ q
T	T	T
T	F	T
F	T	T
F	F	F

अंग्रेजी में कहा गया है, यदि p, तो p ∨ q, p है, अन्यथा p ∨ q, q है।

तार्किक निहितार्थ

तार्किक निहितार्थ और सामाग्र प्रतिबंधात्मक दोनों दो तार्किक मानों पर एक तार्किक संक्रिया से जुड़े होते हैं, सामान्यतः दो तर्कवाक्यों के मान, जो कि प्रथम संकार्य सत्य है और दूसरा संकार्य असत्य है, और अन्यथा सत्य का मान उत्पन्न करता है। .

तार्किक निहितार्थ 'p,से जुड़ी ट्रुथ टेबल का तात्पर्य है('p ⇒ q के रूप में चिन्हित, या संभवतः ही कभी 'Cpq') इस प्रकार है:

**तार्किक निहितार्थ**
p	q	p ⇒ q
T	T	T
T	F	F
F	T	T
F	F	T

सामाग्र प्रतिबंधात्मक से जुड़ी ट्रुथ टेबल यदि p तो q(p → q के रूप में प्रतीक) इस प्रकार है:

**सामाग्र प्रतिबंधात्मक**
p	q	p → q
T	T	T
T	F	F
F	T	T
F	F	T

यह टिप्पणी करना भी उपयोगी हो सकता है कि p ⇒ q और p → q ¬p ∨ q के समतुल्य हैं।

तार्किक समानता

तार्किक समानता(जिसे द्विप्रतिबंधात्मक या अनन्य और nor के रूप में भी जाना जाता है) दो तार्किक मानों पर एक तार्किक संक्रिया है, सामान्यतः दो तर्कवाक्यों के मान, जो कि दोनों संकार्य असत्य है या दोनों संकार्य सत्य हैं, तो सत्य का मान उत्पन्न करता है।

p XNOR q(जिसे p ↔ q, Epq, p = q, or p ≡ q'के रूप में भी लिखा जाता है) के लिए ट्रुथ टेबल इस प्रकार है:

**तार्किक समानता**
p	q	p ↔ q
T	T	T
T	F	F
F	T	F
F	F	T

अतः p EQ q सत्य है यदि p और q का सत्य मान समान है(दोनों सत्य या दोनों असत्य), और असत्य यदि उनके भिन्न सत्य मान हैं।

अनन्य वियोजन

अनन्य वियोजन दो तार्किक मानों पर एक तार्किक संक्रिया है, सामान्यतः दो तर्कवाक्यों के मान, जो सत्य का मान उत्पन्न करता है यदि एक नहीं प्रत्युत इसके दोनों संकार्य सत्य हैं

p XOR q(जिसे Jpq, या p ⊕ q के रूप में भी लिखा जाता है) के लिए ट्रुथ टेबल इस प्रकार है:

**अनन्य वियोजन**
p	q	p ⊕ q
T	T	F
T	F	T
F	T	T
F	F	F

दो कथनों के लिए, XOR को(p ∧ ¬q) ∨(¬p ∧ q) के रूप में भी लिखा जा सकता है।

तार्किक NAND

तार्किक NAND दो तार्किक मानों पर एक तार्किक संक्रिया है, सामान्यतः दो तर्कवाक्यों के मान, जो असत्य का मान उत्पन्न करता है यदि इसके दोनो संकार्या सत्य हैं। दूसरे शब्दों में, यदि इसका कम से कम एक संकार्यं असत्य है तो यह सत्य का मान उत्पन्न करता है।

p NAND q(p ↑ q, Dpq, या p | q के रूप में भी लिखा गया है) के लिए ट्रुथ टेबल इस प्रकार है:

**तार्किक NAND**
p	q	p ↑ q
T	T	F
T	F	T
F	T	T
F	F	T

किसी तार्किक संक्रिया को यौगिक संक्रिया के रूप में अभिव्यक्त करना प्रायः उपयोगी होता है, अर्थात, एक ऐसी संक्रिया के रूप में जो अन्य संक्रियाओं से निर्मित या संघटित होती है। ऐसी कई रचनाएँ संभव हैं, जो उन संक्रियाओं पर निर्भर करती हैं जिन्हें मूल या प्राथमिक के रूप में लिया जाता है और उन संक्रियाओं को जिन्हें समग्र या व्युत्पन्न के रूप में लिया जाता है।

तार्किक NAND के स्थिति में, यह NOT और AND के यौगिक के रूप में स्पष्ट रूप से अभिव्यक्त होता है।

संयोजन का निषेध: ¬(p ∧ q), और निषेध का संयोजन:(¬p) ∨(¬q) को निम्नानुसार सारणीबद्ध किया जा सकता है:

p	q	p ∧ q	¬(p ∧ q)	¬p	¬q	(¬p) ∨ (¬q)
T	T	T	F	F	F	F
T	F	F	T	F	T	T
F	T	F	T	T	F	T
F	F	F	T	T	T	T

तार्किक NOR

तार्किक NOR दो तार्किक मानों पर एक तार्किक संक्रिया है, सामान्यतः दो तर्कवाक्यों के मान, जो सत्य का मान उत्पन्न करता है यदि इसके दोनों संकार्यं असत्य है। दूसरे शब्दों में, यदि इसका कम से कम एक संकार्यक सत्य है, तो यह असत्य का मान उत्पन्न करता है। ↓ को इसके आविष्कारक, चार्ल्स सैंडर्स पियर्स के बाद पियर्स तीर के रूप में भी जाना जाता है, और यह एकमात्र पर्याप्त संक्रियक है।

p NOR q('p ↓ q', या 'Xpq' के रूप में भी लिखा जाता है) के लिए ट्रुथ टेबल इस प्रकार है:

**तार्किक NOR**
p	q	p ↓ q
T	T	F
T	F	F
F	T	F
F	F	T

वियोजन ¬(p ∨ q), और निषेधों के संयोजन(¬p) ∧(¬q) का निषेध निम्नानुसार सारणीबद्ध किया जा सकता है:

p	q	p ∨ q	¬(p ∨ q)	¬p	¬q	(¬p) ∧ (¬q)
T	T	T	F	F	F	F
T	F	T	F	F	T	F
F	T	T	F	T	F	F
F	F	F	T	T	T	T

कार्यात्मक तर्क p और q के लिए तार्किक मानों के प्रत्येक समनुदेश के अंतर्गत NAND और NOR के लिए सारणीबद्ध व्युत्पत्तियों का निरीक्षण, ¬(p ∧ q) के लिए कार्यात्मक मानों के समान प्रतिरूप का उत्पादन करता है जैसा कि(¬p) ∨(¬q) के लिए होता है। और ¬(p ∨ q) के लिए(¬p) ∧(¬q) के लिए। इस प्रकार प्रत्येक युग्म में पहली और दूसरी अभिव्यक्तियाँ तार्किक रूप से समतुल्य हैं, और सभी संदर्भों में एक दूसरे के लिए प्रतिस्थापित की जा सकती हैं जो मात्र उनके तार्किक मानों से संबंधित हैं।

यह तुल्यता डी मॉर्गन के नियमों में से एक है।

ट्रुथ टेबल का आकार

यदि n निविष्ट चर हैं तो उनके सत्य मानों के 2ⁿ संभावित संयोजन हैं। एक दिया गया फलन प्रत्येक संयोजन के लिए सत्य या असत्य उत्पन्न कर सकता है इसलिए n चर के विभिन्न कार्यों की संख्या दोहरा घातांक फलन 2^2ⁿ है।

n	2ⁿ	2^2ⁿ
0	1	2
1	2	4
2	4	16
3	8	256
4	16	65,536
5	32	4,294,967,296	≈ 4.3×10⁹
6	64	18,446,744,073,709,551,616	≈ 1.8×10¹⁹
7	128	340,282,366,920,938,463,463,374,607,431,768,211,456	≈ 3.4×10³⁸
8	256	115,792,089,237,316,195,423,570,985,008,687,907,853,269,984,665,640,564,039,457,584,007,913,129,639,936	≈ 1.2×10⁷⁷

तीन या अधिक चरों के फलनों के लिए सत्य सारणी कदाचित ही दी जाती है।

अनुप्रयोग

कई अन्य तार्किक तुल्यताओं को सिद्ध करने के लिए ट्रुथ टेबल का उपयोग किया जा सकता है। उदाहरण के लिए, निम्नलिखित ट्रुथ टेबल पर विचार करें:

**तार्किक समतुल्यता : $(p\Rightarrow q)\equiv (\lnot p\lor q)$**
$p$	$q$	$\lnot p$	$\lnot p\lor q$	$p\Rightarrow q$
T	T	F	T	T
T	F	F	F	F
F	T	T	T	T
F	F	T	T	T

यह इस तथ्य को प्रदर्शित करता है कि $p\Rightarrow q$ तार्किक रूप से $\lnot p\lor q$ समतुल्य है।

सबसे अधिक उपयोग किए जाने वाले तार्किक संक्रियकों के लिए ट्रुथ टेबल

यहाँ एक ट्रुथ टेबल है जो ट्रैक्टैटस तर्क-दार्शनिक तर्कवाक्य 4.*-5.* में से सबसे अधिक उपयोग किए जाने वाले 7 की परिभाषा देती है:

$P$	$Q$	$P\land Q$	$P\lor Q$	$P\ {\underline {\lor }}\ Q$	$P\ {\underline {\land }}\ Q$	$P\Rightarrow Q$	$P\Leftarrow Q$	$P\Leftrightarrow Q$
T	T	T	T	F	T	T	T	T
T	F	F	T	T	F	F	T	F
F	T	F	T	T	F	T	F	F
F	F	F	F	F	T	T	T	T
$P$	$Q$	$P\land Q$	$P\lor Q$	$P\ {\underline {\lor }}\ Q$	$P\ {\underline {\land }}\ Q$	$P\Rightarrow Q$	$P\Leftarrow Q$	$P\Leftrightarrow Q$
		AND (संयोजन)	OR (वियोजन)	XOR (अनन्य or)	XNOR (अनन्य nor)	प्रतिबंधात्मक "if-then"	प्रतिबंधात्मक "then-if"	biप्रतिबंधात्मक "if-and-only-if"
where T means सत्य and F means असत्य

द्विआधारी संक्रियकों के लिए संघनित सत्य सारणी

द्विआधारी संक्रियकों के लिए, ट्रुथ टेबल का एक संघनित रूप भी उपयोग किया जाता है, जहां पंक्ति शीर्षक और स्तंभ शीर्षक संकार्य निर्दिष्ट करते हैं और तालिका कक्ष परिणाम निर्दिष्ट करते हैं। उदाहरण के लिए, बूलियन तर्क इस संघनित ट्रुथ टेबल संकेतन का उपयोग करता है:

∧	F	T
F	F	F
T	F	T

∨	F	T
F	F	T
T	T	T

यह अंकन विशेष रूप से उपयोगी है यदि संक्रिया क्रमविनिमेय हैं, यद्यपि कोई अतिरिक्त रूप से यह निर्दिष्ट कर सकता है कि पंक्तियाँ प्रथम संकार्य हैं और स्तंभ दूसरे संकार्य हैं। यह संघनित संकेतन तर्क के बहु-मूल्यवान विस्तारों पर चर्चा करने में विशेष रूप से उपयोगी है, क्योंकि यह अन्यथा आवश्यक पंक्तियों की संख्या के संयोजी विस्फोट पर महत्वपूर्ण रूप से कटौती करता है। यह तालिका में मानों के वितरण के त्वरित तत्समक योग्य विशेषता आकार भी प्रदान करता है जो पाठक को नियमों को और अधिक तीव्र से समझने में सहायता कर सकता है।

डिजिटल तर्क में सत्य सारणी

डिजिटल परिपथ में हार्डवेयर लुक-अप टेबल(LUT) के कार्य को निर्दिष्ट करने के लिए ट्रूथ टेबल का भी उपयोग किया जाता है। एन- निविष्ट एलयूटी के लिए, ट्रुथ टेबल में 2^n मान(या उपरोक्त सारणीबद्ध प्रारूप में पंक्तियां) होंगे, जो पूर्ण रूप से एलयूटी के लिए एक बूलियन फलन निर्दिष्ट करते हैं। द्विआधारी अंक प्रणाली में प्रत्येक बूलियन मान को अंश के रूप में प्रदर्शित करके, ट्रुथ टेबल मानों को इलेक्ट्रॉनिक डिजाइन स्वचालन(EDA) सॉफ़्टवेयर में पूर्णांक मानों के रूप में कुशलतापूर्वक कोडित किया जा सकता है। उदाहरण के लिए, एक 32-बिट पूर्णांक 5 निविष्ट तक एलयूटी के लिए ट्रुथ टेबल को सांकेतिक शब्दों में बदल सकता है।

एक ट्रुथ टेबल के पूर्णांक प्रतिनिधित्व का उपयोग करते समय, एलयूटी का निर्गत मान एलयूटी के निविष्ट मानों के आधार पर बिट निर्देशिका k की गणना करके प्राप्त किया जा सकता है, जिस स्थिति में एलयूटी का निर्गत मान पूर्णांक का kवां बिट होता है। उदाहरण के लिए, n बूलियन निविष्ट मानों की सरणी डेटा संरचना दिए गए एलयूटी के निर्गत मान का मूल्यांकन करने के लिए, ट्रुथ टेबल के निर्गत मान के बिट निर्देशिका की गणना निम्नानुसार की जा सकती है: यदि iवां निविष्ट सत्य है, तो $V_{i}=1$ दें, अन्यथा $V_{i}=0$ दें। फिर ट्रुथ टेबल के द्विआधारी प्रतिनिधित्व का kवां बिट एलयूटी का निर्गत मान है, जहाँ $k=V_{0}\times 2^{0}+V_{1}\times 2^{1}+V_{2}\times 2^{2}+\dots +V_{n}\times 2^{n}$ है।

ट्रुथ टेबल बूलियन फलनों को कोडित करने का एक सरल और सीधी विधि है, यद्यपि निविष्ट की संख्या में वृद्धि के रूप में आकार में घातीय वृद्धि को देखते हुए, वे बड़ी संख्या में निविष्ट वाले फलनों के लिए उपयुक्त नहीं हैं। अन्य अभ्यावेदन जो अधिक मेमोरी कुशल हैं, पाठ समीकरण और द्विआधारी निर्णय आरेख हैं।

डिजिटल इलेक्ट्रॉनिक्स में ट्रूथ टेबल के अनुप्रयोग

डिजिटल इलेक्ट्रॉनिक्स और कंप्यूटर विज्ञान(प्रयुक्त तर्क अभियांत्रिकी और गणित के क्षेत्र) में, तर्क गेट्स या कोड के उपयोग के बिना, निर्गत के निविष्ट के सरल सहसंबंधों के लिए मूलभूत बूलियन संक्रिया को कम करने के लिए ट्रुथ टेबल का उपयोग किया जा सकता है। उदाहरण के लिए, एक द्विआधारी योग को ट्रुथ टेबल के साथ प्रदर्शित किया जा सकता है:

A B | C R

1 1 | 1 0

1 0 | 0 1

0 1 | 0 1

0 0 | 0 0

जहाँ

A= प्रथम संकार्य

B = दूसरा संकार्य

C= वहन

R= परिणाम

यह ट्रुथ टेबल बाएं से दाएं पढ़ी जाती है:

मान युग्म(A, B) मान युग्म(C, R) के बराबर है।
या इस उदाहरण के लिए, A+B समान परिणाम R, वहन C के साथ।

ध्यान दें कि यह तालिका इस संक्रिया को लागू करने के लिए आवश्यक तर्क संक्रियाएँ का वर्णन नहीं करती है, प्रत्युत यह मात्र निर्गत मानों के निविष्ट के कार्य को निर्दिष्ट करती है।

परिणाम के संबंध में, इस उदाहरण को अंकगणितीय रूप से सापेक्ष 2 द्विआधारी योग के रूप में देखा जा सकता है, और तार्किक रूप से अनन्य-या(अनन्य संयोजन) द्विआधारी तर्क संक्रिया के बराबर है।

इस स्थिति में इसका उपयोग मात्र बहुत ही सरल निविष्ट और निर्गत के लिए किया जा सकता है, जैसे 1s और 0s। यद्यपि, यदि निविष्ट् पर किसी प्रकार के मानों की संख्या बढ़ सकती है, तो ट्रुथ टेबल का आकार बढ़ जाएगा।

उदाहरण के लिए, एक अतिरिक्त संक्रिया में, किसी को दो संकार्य, A और B की आवश्यकता होती है। प्रत्येक में दो मानों में से एक हो सकता है, शून्य या एक। इन दो मानों के संयोजनों की संख्या 2×2 या चार है। तो परिणाम C और R के चार संभावित निर्गत हैं। यदि कोई आधार 3 का उपयोग करता है, तो आकार 3×3, या नौ संभावित निर्गत तक बढ़ जाएगा।

उपरोक्त पूर्व योग उदाहरण को आधा योजक कहा जाता है। एक पूर्ण-योजक तब होता है जब पिछले संक्रिया से अगले योजक को निविष्ट के रूप में प्रदान किया जाता है। इस प्रकार, एक पूर्ण योजक के तर्क का वर्णन करने के लिए आठ पंक्तियों की एक ट्रुथ टेबल की आवश्यकता होगी:

A B C* | C R

0 0 0 | 0 0

0 1 0 | 0 1

1 0 0 | 0 1

1 1 0 | 1 0

0 0 1 | 0 1

0 1 1 | 1 0

1 0 1 | 1 0

1 1 1 | 1 1

पूर्व जैसा ही, परन्तु..

C* = पिछले योजक से वहन करें

इतिहास

इरविंग एनेलिस के शोध से पता चलता है कि सी.एस. पियर्स एक ट्रुथ टेबल आव्यूह आविष्कार करने के लिए(1893 में) सबसे प्रारंभिक तर्कशास्त्री प्रतीत होते हैं।^[4]^[6] उनके पृष्ठ के सारांश से:

1997 में, जॉन शॉस्की ने बर्ट्रेंड रसेल के 1912 के लेक्चर ऑफ़ द फिलॉसफी ऑफ़ तर्कल एटमिज़्म ट्रूथ टेबल आव्यूह के लिखे गए प्रतिलेख के एक पृष्ठ के शीर्ष पर खोजा। निषेध का आव्यूह रसेल का है, जिसके साथ-साथ लुडविग विट्गेन्स्टाइन के हाथ में भौतिक निहितार्थ के लिए आव्यूह है। यह दिखाया गया है कि 1893 में पियर्स द्वारा रचित एक अप्रकाशित हस्तलेख में एक ट्रुथ टेबल आव्यूह सम्मिलित है जो जॉन शोस्की द्वारा खोजे गए भौतिक निहितार्थ के आव्यूह के बराबर है। पीयरस द्वारा एक अप्रकाशित हस्तलेख की तत्समक 1883-84 में पीयरस ऑन द एलजेब्रा ऑफ तर्क: ए कंट्रीब्यूशन टू द फिलॉसफी ऑफ नोटेशन की रचना के संबंध में की गई थी, जो 1885 में अमेरिकन जर्नल ऑफ मैथमेटिक्स में छपी थी, जिसमें अप्रत्यक्ष का एक उदाहरण सम्मिलित है।
यह भी देखें

बूलियन कार्यक्षेत्र

बूलियन-मूल्यवान फलन

प्रकाशन

उत्तेजना तालिका

पहले क्रम का तर्क

कार्यात्मक पूर्णता

कर्णघ प्रतिचित्र

तर्क गेट

तार्किक संयोजक

तार्किक ग्राफ

विश्लेषणात्मक तालिका की विधि

प्रस्तावक कलन

सत्य फलन

टिप्पणियाँ

↑ Information about notation may be found in (Bocheński 1959), (Enderton 2001), and (Quine 1982).

↑ The operators here with equal left and right identities (XOR, AND, XNOR, and OR) are also commutative monoids because they are also associative. While this distinction may be irrelevant in a simple discussion of logic, it can be quite important in more advanced mathematics. For example, in category theory an enriched category is described as a base category enriched over a monoid, and any of these operators can be used for enrichment.

संदर्भ

↑ Enderton 2001

↑ von Wright, Georg Henrik (1955). "Ludwig Wittgenstein, A Biographical Sketch". The Philosophical Review. 64 (4): 527–545 (p. 532, note 9). doi:10.2307/2182631. JSTOR 2182631.

↑ Post, Emil (July 1921). "Introduction to a general theory of elementary propositions". American Journal of Mathematics. 43 (3): 163–185. doi:10.2307/2370324. hdl:2027/uiuo.ark:/13960/t9j450f7q. JSTOR 2370324.

↑ ^4.0 ^4.1 Anellis, Irving H. (2012). "Peirce's Truth-functional Analysis and the Origin of the Truth Table". History and Philosophy of Logic. 33: 87–97. doi:10.1080/01445340.2011.621702. S2CID 170654885.

↑ ^5.0 ^5.1 Wittgenstein, Ludwig (1922). "Proposition 5.101" (PDF). Tractatus Logico-Philosophicus.

↑ Peirce's publication included the work of Christine Ladd (1881): Peirce's Ph.D. student Christine Ladd-Franklin found the truth table in Tractatus Logico-Philosophicus Proposition 5.101, 40 years earlier than Wittgenstein. Ladd, Christine (1881). Peirce, C.S. (ed.). On the Algebra of Logic. Studies in Logic. p. 62.

उद्धृत कार्य

Bocheński, Józef Maria (1959). गणितीय तर्क का सार. Translated by Bird, Otto. D. Reidel. doi:10.1007/978-94-017-0592-9. ISBN 978-94-017-0592-9.

Enderton, H. (2001). तर्क का एक गणितीय परिचय (2nd ed.). Harcourt Academic Press. ISBN 0-12-238452-0.

Quine, W.V. (1982). तर्क के तरीके (4th ed.). Harvard University Press. ISBN 978-0-674-57175-4.

बाहरी संबंध

Wikimedia Commons has media related to Truth tables.

"Truth table", Encyclopedia of Mathematics, EMS Press, 2001 [1994]

Truth Tables, Tautologies, and तार्किक समतुल्यता

Anellis, Irving H. (2011). "Peirce's Truth-functional Analysis and the Origin of Truth Tables". arXiv:1108.2429 [math.HO].

Converting truth tables into Boolean expressions

[5] Information about notation may be found in (Bocheński 1959), (Enderton 2001), and (Quine 1982).

[6] The operators here with equal left and right identities (XOR, AND, XNOR, and OR) are also commutative monoids because they are also associative. While this distinction may be irrelevant in a simple discussion of logic, it can be quite important in more advanced mathematics. For example, in category theory an enriched category is described as a base category enriched over a monoid, and any of these operators can be used for enrichment.

[1] Enderton 2001

[2] von Wright, Georg Henrik (1955). "Ludwig Wittgenstein, A Biographical Sketch". The Philosophical Review. 64 (4): 527–545 (p. 532, note 9). doi:10.2307/2182631. JSTOR 2182631.

[3] Post, Emil (July 1921). "Introduction to a general theory of elementary propositions". American Journal of Mathematics. 43 (3): 163–185. doi:10.2307/2370324. hdl:2027/uiuo.ark:/13960/t9j450f7q. JSTOR 2370324.

[Peirce-4] 4.0 ^4.1 Anellis, Irving H. (2012). "Peirce's Truth-functional Analysis and the Origin of the Truth Table". History and Philosophy of Logic. 33: 87–97. doi:10.1080/01445340.2011.621702. S2CID 170654885.

[tlp5.101-7] 5.0 ^5.1 Wittgenstein, Ludwig (1922). "Proposition 5.101" (PDF). Tractatus Logico-Philosophicus.

[8] Peirce's publication included the work of Christine Ladd (1881): Peirce's Ph.D. student Christine Ladd-Franklin found the truth table in Tractatus Logico-Philosophicus Proposition 5.101, 40 years earlier than Wittgenstein. Ladd, Christine (1881). Peirce, C.S. (ed.). On the Algebra of Logic. Studies in Logic. p. 62.

[1]

[2]

[3]

[4]

[note 1]

[note 2]

[5]

[6]

Anonymous

Search

ट्रुथ टेबल: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 10:49, 24 February 2023

Contents

एकल संक्रियाएँ

तार्किक सत्य

तार्किक असत्य

तार्किक तत्समक

तार्किक निषेध

द्विआधारी संक्रियाएँ

सभी द्विआधारी तार्किक संक्रियकों के लिए ट्रुथ टेबल

कुंजी:

तार्किक संयोजन(AND)

तार्किक वियोजन(OR)

तार्किक निहितार्थ

तार्किक समानता

अनन्य वियोजन

तार्किक NAND

तार्किक NOR

ट्रुथ टेबल का आकार

अनुप्रयोग

सबसे अधिक उपयोग किए जाने वाले तार्किक संक्रियकों के लिए ट्रुथ टेबल

द्विआधारी संक्रियकों के लिए संघनित सत्य सारणी

डिजिटल तर्क में सत्य सारणी

डिजिटल इलेक्ट्रॉनिक्स में ट्रूथ टेबल के अनुप्रयोग

इतिहास

यह भी देखें

टिप्पणियाँ

संदर्भ

उद्धृत कार्य

बाहरी संबंध

Navigation

Navigation

Wiki tools

Wiki tools

@@ Line 1: / Line 1: @@
 {{Short description|Mathematical table used in logic}}
-एक सत्य तालिका एक [[गणितीय तालिका]] है जिसका उपयोग [[तर्क]] में किया जाता है - विशेष रूप से [[बूलियन बीजगणित (तर्क)]], [[बूलियन समारोह]] और प्रस्ताविक कलन के संबंध में - जो उनके प्रत्येक कार्यात्मक तर्कों पर तार्किक [[अभिव्यक्ति (गणित)]] के कार्यात्मक मूल्यों को निर्धारित करता है, अर्थात। प्रत्येक [[मूल्यांकन (तर्क)]] के लिए।<ref>{{harvnb|Enderton|2001}}</ref> विशेष रूप से, सत्य तालिकाओं का उपयोग यह दिखाने के लिए किया जा सकता है कि क्या सभी वैध इनपुट मानों के लिए एक प्रस्तावात्मक अभिव्यक्ति सत्य है, अर्थात [[वैधता (तर्क)]]।
+ट्रुथ टेबल एक [[गणितीय तालिका]] है जिसका उपयोग [[तर्क]] में किया जाता है - विशेष रूप से [[बूलियन बीजगणित (तर्क)|बूलियन बीजगणित(तर्क)]], [[बूलियन समारोह|बूलियन फलन]] और तर्कवाक्यिक कलन के संबंध में - जो उनके प्रत्येक कार्यात्मक तर्कों पर तार्किक [[अभिव्यक्ति (गणित)|अभिव्यक्ति(गणित)]] के कार्यात्मक मानों को निर्धारित करता है, अर्थात उनके द्वारा लिए गए मानों के प्रत्येक संयोजन के लिए [[मूल्यांकन (तर्क)|मूल्यांकन(तर्क)]] चर।<ref>{{harvnb|Enderton|2001}}</ref> विशेष रूप से, ट्रुथ टेबल का उपयोग यह दिखाने के लिए किया जा सकता है कि क्या सभी वैध निविष्ट मानों के लिए तर्कवाक्यात्मक अभिव्यक्ति सत्य है, अर्थात [[वैधता (तर्क)|वैधता(तर्क)]]।
-एक सत्य तालिका में प्रत्येक इनपुट चर (उदाहरण के लिए, P और Q) के लिए एक स्तंभ होता है, और एक अंतिम स्तंभ तालिका द्वारा प्रस्तुत तार्किक संचालन के सभी संभावित परिणामों को दर्शाता है (उदाहरण के लिए, P [[XOR]] Q)। ट्रूथ टेबल की हर पंक्ति में इनपुट वेरिएबल्स का एक संभावित कॉन्फिगरेशन होता है (उदाहरण के लिए, P=true Q=false), और उन वैल्यू के लिए ऑपरेशन का नतीजा। अधिक स्पष्टीकरण के लिए नीचे दिए गए उदाहरण देखें। [[लुडविग विट्गेन्स्टाइन]] को आम तौर पर उनके [[ट्रैक्टेटस लोगिको-फिलोसोफिकस]] में सत्य तालिका का आविष्कार करने और लोकप्रिय बनाने का श्रेय दिया जाता है, जो 1918 में पूरा हुआ और 1921 में प्रकाशित हुआ।<ref>{{cite journal | author-link = Georg Henrik von Wright |first=Georg Henrik |last=von Wright  | title = Ludwig Wittgenstein, A Biographical Sketch | journal = The Philosophical Review | volume = 64 | issue = 4 | year = 1955 | pages = 527–545 (p. 532, note 9) | jstor = 2182631 | doi=10.2307/2182631}}</ref> इस तरह की प्रणाली को 1921 में [[एमिल लियोन पोस्ट]] द्वारा स्वतंत्र रूप से प्रस्तावित किया गया था।<ref>{{cite journal | author-link=Emil Post |first=Emil |last=Post |title=Introduction to a general theory of elementary propositions|journal=American Journal of Mathematics|date=July 1921|volume=43|issue=3|pages=163–185|jstor= 2370324|doi=10.2307/2370324|hdl=2027/uiuo.ark:/13960/t9j450f7q|hdl-access=free}}</ref> 1893 से [[चार्ल्स सैंडर्स पियर्स]] द्वारा अप्रकाशित पांडुलिपियों में सत्य तालिका का एक पहले का पुनरावृति भी पाया गया है, जो दोनों प्रकाशनों को लगभग 30 वर्षों से पुराना कर रहा है।<ref name="Peirce"/>
+ट्रुथ टेबल में प्रत्येक निविष्ट चर(उदाहरण के लिए, P और Q) के लिए एक स्तंभ होता है, और एक अंतिम स्तंभ तालिका द्वारा प्रस्तुत तार्किक संक्रिया के सभी संभावित परिणामों को दर्शाता है(उदाहरण के लिए, P [[XOR]] Q)। ट्रूथ टेबल की प्रत्येक पंक्ति में निविष्ट चरों का संभावित विन्यास होता है(उदाहरण के लिए, P=सत्य Q=असत्य), और उन मानों के लिए संक्रिया का परिणाम। अधिक स्पष्टीकरण के लिए नीचे दिए गए उदाहरण देखें। [[लुडविग विट्गेन्स्टाइन]] को सामान्यतः उनके [[ट्रैक्टेटस लोगिको-फिलोसोफिकस|ट्रैक्टेटस तर्क-दार्शनिक]] में ट्रुथ टेबल का आविष्कार करने और लोकप्रिय बनाने का श्रेय दिया जाता है, जो 1918 में पूर्ण हुआ और 1921 में प्रकाशित हुआ।<ref>{{cite journal | author-link = Georg Henrik von Wright |first=Georg Henrik |last=von Wright  | title = Ludwig Wittgenstein, A Biographical Sketch | journal = The Philosophical Review | volume = 64 | issue = 4 | year = 1955 | pages = 527–545 (p. 532, note 9) | jstor = 2182631 | doi=10.2307/2182631}}</ref> इस रूप की प्रणाली को 1921 में [[एमिल लियोन पोस्ट]] द्वारा स्वतंत्र रूप से तर्कवाक्यित किया गया था।<ref>{{cite journal | author-link=Emil Post |first=Emil |last=Post |title=Introduction to a general theory of elementary propositions|journal=American Journal of Mathematics|date=July 1921|volume=43|issue=3|pages=163–185|jstor= 2370324|doi=10.2307/2370324|hdl=2027/uiuo.ark:/13960/t9j450f7q|hdl-access=free}}</ref> 1893 से [[चार्ल्स सैंडर्स पियर्स]] द्वारा अप्रकाशित हस्तलेखयों में ट्रुथ टेबल का पूर्व के पुनरावृति भी पाया गया है, जो दोनों प्रकाशनों को लगभग 30 वर्षों से प्राचीन कर रहा है।<ref name="Peirce"/>
-== यूनरी ऑपरेशंस ==
+== एकल संक्रियाएँ ==
-यूनरी ऑपरेशन हैं:
+एकल संक्रिया हैं:
 *अटल सत्य
-* कभी सच नहीं, यूनरी [[असत्य]]
+* कभी सत्य नहीं, एकल [[असत्य]]
-* एकात्मक पहचान
+* एकात्मक तत्समक
 * एकात्मक निषेध
 === तार्किक सत्य ===
-p के इनपुट मान की परवाह किए बिना आउटपुट मान हमेशा सत्य होता है
+p के निविष्ट मान पर ध्यान दिए बिना निर्गत मान सदैव सत्य होता है
 {| class="wikitable" style="margin:1em auto; text-align:center;"
-|+ '''Logical True'''
+|+ '''तार्किक सत्य'''
 |-
 ! style="width:80px" | ''p''
@@ Line 28: / Line 28: @@
 === तार्किक असत्य ===
-आउटपुट मान कभी भी सत्य नहीं होता है: पी के इनपुट मूल्य के बावजूद, हमेशा गलत होता है
+निर्गत मान कभी भी सत्य नहीं होता है: p के निविष्ट मान के अतिरिक्त, सदैव असत्य होता है
 {| class="wikitable" style="margin:1em auto; text-align:center;"
-|+ '''Logical False'''
+|+ '''तार्किक असत्य'''
 |-
 ! style="width:80px" | ''p''
@@ Line 41: / Line 41: @@
-=== तार्किक पहचान ===
+=== तार्किक तत्समक ===
-[[पहचान समारोह]] एक [[तार्किक मूल्य]] p पर एक [[तार्किक संचालन]] है, जिसके लिए आउटपुट वैल्यू p रहता है।
+[[पहचान समारोह|तत्समक फलन]] एक [[तार्किक मूल्य|तार्किक मान]] p पर एक [[तार्किक संचालन|तार्किक संक्रिया]] है, जिसके लिए निर्गत मान p रहता है।
-तार्किक पहचान ऑपरेटर के लिए सत्य तालिका इस प्रकार है:
+तार्किक तत्समक संक्रियक के लिए ट्रुथ टेबल इस प्रकार है:
 {| class="wikitable" style="margin:1em auto; text-align:center;"
-|+ '''Logical Identity'''
+|+ '''तार्किक तत्समक'''
 |-
 ! style="width:80px" | ''p''
@@ Line 59: / Line 59: @@
 === [[तार्किक निषेध]] ===
-तार्किक निषेध एक तार्किक मूल्य पर एक तार्किक संचालन है, आमतौर पर एक [[प्रस्ताव]] का मूल्य, जो सत्य का मान उत्पन्न करता है यदि उसका संकार्य गलत है और असत्य का मान यदि उसका संकार्य सत्य है।
+तार्किक निषेध तार्किक मान पर एक तार्किक संक्रिया है, सामान्यतः एक [[प्रस्ताव|तर्कवाक्य]] का मान, जो सत्य का मान उत्पन्न करता है यदि उसका संकार्य असत्य है और असत्य का मान यदि उसका संकार्य सत्य है।
-'NOT p' ('¬p', 'Np', 'Fpq', या '~p' के रूप में भी लिखा जाता है) के लिए सत्य तालिका इस प्रकार है:
+'''NOT p'''('''¬p''', '''Np''', '''Fpq''', या '''~p''' के रूप में भी लिखा जाता है) के लिए ट्रुथ टेबल इस प्रकार है:
 {| class="wikitable" style="margin:1em auto; text-align:center;"
-|+ '''Logical Negation'''
+|+ '''तार्किक निषेध'''
 |-
 ! style="width:80px" | ''p''
@@ Line 75: / Line 75: @@
-== बाइनरी ऑपरेशंस ==
+== द्विआधारी संक्रियाएँ ==
 दो [[द्विआधारी चर]] के 16 संभावित सत्य कार्य हैं:
-=== सभी बाइनरी तार्किक ऑपरेटरों के लिए सत्य तालिका ===
+=== सभी द्विआधारी तार्किक संक्रियकों के लिए ट्रुथ टेबल ===
-यहाँ दो बूलियन चर P और Q के सभी सोलह संभावित सत्य कार्यों की परिभाषाएँ देने वाली एक विस्तारित सत्य तालिका है:<ref group=note>Information about notation may be found in {{harv|Bocheński|1959}}, {{harv|Enderton|2001}}, and {{harv|Quine|1982}}.</ref>
+यहाँ दो बूलियन चर P और Q के सभी सोलह संभावित सत्य कार्यों की परिभाषाएँ देने वाली एक विस्तारित ट्रुथ टेबल है:<ref group=note>Information about notation may be found in {{harv|Bocheński|1959}}, {{harv|Enderton|2001}}, and {{harv|Quine|1982}}.</ref>
 {| class="wikitable" style="margin:1em auto 1em auto; text-align:center;"
@@ Line 124: / Line 124: @@
 | || || || || || F || || F || || || T || T || || || T,F || T || F ||
 |}
-कहाँ
+जहाँ
-: टी = सच।
+: T= सत्य।
-: एफ = झूठा।
+: F= असत्य।
-: सुपरस्क्रिप्ट <sup>0</sup> से <sup>15</sup> वह संख्या है जो एफ = 0 और टी = 1 के साथ द्विआधारी संख्या के रूप में चार सत्य मानों को पढ़ने से उत्पन्न होती है।
+: मूर्धांक <sup>0</sup> से <sup>15</sup> वह संख्या है जो चार सत्य मानों F = 0 और T = 1 के साथ द्विआधारी संख्या के रूप में पढ़ने से उत्पन्न होती है।
-: कॉम पंक्ति इंगित करती है कि क्या एक ऑपरेटर, ऑप, क्रमविनिमेय गुण है - P op Q = Q op P।
+: '''Com''' पंक्ति इंगित करती है कि क्या एक संक्रियक, '''op''', क्रमविनिमेय गुण है -'''P op Q = Q op P'''।
-:Assoc पंक्ति इंगित करती है कि क्या एक ऑपरेटर, op, साहचर्य संपत्ति है - (P op Q) op R = P op (Q op R)।
+:'''Assoc''' पंक्ति इंगित करती है कि क्या एक संक्रियक, '''op''', साहचर्य गुण है -('''P op Q) op R = P op(Q op R)'''.
-: Adj पंक्ति ऑपरेटर op2 को इस प्रकार दर्शाती है कि P op Q = Q op2 P
+: '''Adj''' पंक्ति संक्रियक '''op2''' को इस प्रकार दर्शाती है कि '''P op Q = Q op2 P'''
-: नकारात्मक पंक्ति ऑपरेटर op2 को ऐसे दिखाती है कि P op Q = ¬(P op2 Q)
+: '''Neg''' पंक्ति संक्रियक '''op2''' को ऐसे दिखाती है कि '''P op Q = ¬(P op2 Q)'''
-: दोहरी पंक्ति T को F, और AND को OR से इंटरचेंज करके प्राप्त किए गए [[द्वैत सिद्धांत (बूलियन बीजगणित)]] को दर्शाती है।
+: '''Dual''' पंक्ति T को F, और AND को OR से बदलने पर प्राप्त किए गए [[द्वैत सिद्धांत (बूलियन बीजगणित)|द्वैत सिद्धांत(बूलियन बीजगणित)]] को दर्शाती है।
-: एल आईडी पंक्ति ऑपरेटर की बाईं पहचान दिखाती है यदि इसमें कोई - मान I है जैसे कि मैं Q = Q का चयन करता हूं।
+: '''L id''' पंक्ति संक्रियक की बाईं तत्समक दिखाती है यदि इसमें कोई - मान '''I''' है जैसे कि '''I op Q = Q'''।
-: R आईडी पंक्ति ऑपरेटर की [[सही पहचान]] दिखाती है यदि इसमें कोई - मान I है जैसे कि P op I = P।<ref group=note>The operators here with equal left and right identities (XOR, AND, XNOR, and OR) are also [[monoid#Commutative monoid|commutative monoids]] because they are also [[Associative property|associative]]. While this distinction may be irrelevant in a simple discussion of logic, it can be quite important in more advanced mathematics. For example, in [[category theory]] an [[enriched category]] is described as a base [[category (mathematics)|category]] enriched over a monoid, and any of these operators can be used for enrichment.</ref>
+: '''R id''' पंक्ति संक्रियक की [[सही पहचान|सत्य तत्समक]] दिखाती है यदि इसमें कोई - मान '''I''' है जैसे कि '''P op I = P'''।<ref group=note>The operators here with equal left and right identities (XOR, AND, XNOR, and OR) are also [[monoid#Commutative monoid|commutative monoids]] because they are also [[Associative property|associative]]. While this distinction may be irrelevant in a simple discussion of logic, it can be quite important in more advanced mathematics. For example, in [[category theory]] an [[enriched category]] is described as a base [[category (mathematics)|category]] enriched over a monoid, and any of these operators can be used for enrichment.</ref>
-पी, क्यू के लिए इनपुट मानों के चार संयोजन उपरोक्त तालिका से पंक्ति द्वारा पढ़े जाते हैं।
+p, q के लिए निविष्ट मानों के चार संयोजन उपरोक्त तालिका से पंक्ति द्वारा पढ़े जाते हैं। प्रत्येक p, q संयोजन के लिए निर्गत फलन को तालिका से, पंक्ति द्वारा पढ़ा जा सकता है।
-प्रत्येक पी, क्यू संयोजन के लिए आउटपुट फ़ंक्शन को तालिका से, पंक्ति द्वारा पढ़ा जा सकता है।
-{{anchor|TLP}}
+==== कुंजी: ====
-चाबी:
+निम्न तालिका पंक्ति के अतिरिक्त स्तंभ द्वारा उन्मुख है। निविष्ट के रूप में p, q के चार संयोजनों को प्रदर्शित करने के लिए चार पंक्तियों के अतिरिक्त चार स्तंभ हैं।
-निम्न तालिका पंक्ति के बजाय स्तंभ द्वारा उन्मुख है। इनपुट के रूप में पी, क्यू के चार संयोजनों को प्रदर्शित करने के लिए चार पंक्तियों के बजाय चार कॉलम हैं।
+'''p''': T T F F <br />'''q''': T F T F
-पी: टी टी एफ एफ <br />
+इस कुंजी में 16 पंक्तियाँ हैं, दो द्विआधारी चर, p, q के प्रत्येक द्विआधारी फलन के लिए एक पंक्ति। उदाहरण के लिए, इस कुंजी की पंक्ति 2 में, विलोम गैर-निम्नलिखित का मान('<math>\nleftarrow</math>') अद्वितीय संयोजन p=F, q=T द्वारा दर्शाए गए स्तंभ के लिए मात्र T है; जबकि पंक्ति 2 में, उस का मान '<math>\nleftarrow</math>p, q के तीन शेष स्तंभों के लिए संक्रिया F है। <math>\nleftarrow</math> के लिए निर्गत पंक्ति इस प्रकार है
-क्यू: टी एफ टी एफ
-इस कुंजी में 16 पंक्तियाँ हैं, दो बाइनरी चर, p, q के प्रत्येक बाइनरी फ़ंक्शन के लिए एक पंक्ति। उदाहरण के लिए, इस कुंजी की पंक्ति 2 में, विलोम गैर-निम्नलिखित का मान ('<math>\nleftarrow</math>') अद्वितीय संयोजन p=F, q=T द्वारा दर्शाए गए कॉलम के लिए केवल T है; जबकि पंक्ति 2 में, उस का मान '<math>\nleftarrow</math>p, q के तीन शेष स्तंभों के लिए संक्रिया F है। के लिए आउटपुट पंक्ति <math>\nleftarrow</math> इस प्रकार है
+: F F T F
-: एफ एफ टी एफ
+और 16-पंक्ति<ref name=tlp5.101/> कुंजी है
-और 16-पंक्ति<ref name=tlp5.101/>कुंजी है
 {| class="wikitable" style="margin:1em auto 1em auto; text-align:left;"
 |-
 ! ||<ref name=tlp5.101>{{cite book |author-link=Ludwig Wittgenstein |first=Ludwig |last=Wittgenstein |date=1922 |title=Tractatus Logico-Philosophicus |title-link=Tractatus Logico-Philosophicus |chapter-url=http://www.gutenberg.org/files/5740/5740-pdf.pdf |chapter=Proposition 5.101}}</ref>|| || operator || Operation name
 |-
-| 0 ||(F F F F)(p, q)|| ⊥ || [[falsum|false]], '''Opq''' || [[Contradiction]]
+| 0 ||(F F F F)(p, q)|| ⊥ || [[falsum|असत्य]], '''Opq''' || [[Contradiction|प्रतिवाद]]
 |-
-| 1 ||(F F F T)(p, q)|| NOR || '''p''' ↓ '''q''', '''Xpq''' || [[Logical NOR]]
+| 1 ||(F F F T)(p, q)|| NOR || '''p''' ↓ '''q''', '''Xpq''' || [[Logical NOR|तार्किक NOR]]
 |-
-| 2 ||(F F T F)(p, q)|| ↚ || '''p''' ↚ '''q''', '''Mpq''' || [[Converse nonimplication]]
+| 2 ||(F F T F)(p, q)|| ↚ || '''p''' ↚ '''q''', '''Mpq''' ||  [[Converse nonimplication|विपरीत गैरनिहितार्थ]]
 |-
-| 3 ||(F F T T)(p, q)|| '''¬p''', '''~p''' || '''¬p''', '''Np''', '''Fpq''' || [[Negation]]
+| 3 ||(F F T T)(p, q)|| '''¬p''', '''~p''' || '''¬p''', '''Np''', '''Fpq''' || [[Negation|निषेध]]
 |-
-| 4 ||(F T F F)(p, q)|| ↛ || '''p''' ↛ '''q''', '''Lpq''' || [[Material nonimplication]]
+| 4 ||(F T F F)(p, q)|| ↛ || '''p''' ↛ '''q''', '''Lpq''' || [[Material nonimplication|सामाग्र गैरनिहितार्थ]]
 |-
-| 5 ||(F T F T)(p, q)|| '''¬q''', '''~q''' || '''¬q''', '''Nq''', '''Gpq''' || Negation
+| 5 ||(F T F T)(p, q)|| '''¬q''', '''~q''' || '''¬q''', '''Nq''', '''Gpq''' || निषेध
 |-
-| 6 ||(F T T F)(p, q)|| XOR ||'''p''' ⊕ '''q''', '''Jpq''' || [[Exclusive disjunction]]
+| 6 ||(F T T F)(p, q)|| XOR ||'''p''' ⊕ '''q''', '''Jpq''' || [[Exclusive disjunction|अनन्य वियोजन]]
 |-
-| 7 || (F T T T)(p, q)|| NAND || '''p''' ↑ '''q''', '''Dpq''' || [[Logical NAND]]
+| 7 || (F T T T)(p, q)|| NAND || '''p''' ↑ '''q''', '''Dpq''' || [[Logical NAND|तार्किक NAND]]
 |-
-| 8 || (T F F F)(p, q)|| AND || '''p''' ∧ '''q''', '''Kpq''' || [[Logical conjunction]]
+| 8 || (T F F F)(p, q)|| AND || '''p''' ∧ '''q''', '''Kpq''' || [[Logical conjunction|तार्किक संयोजन]]
 |-
-| 9 || (T F F T)(p, q)|| XNOR || '''p'''  [[If and only if]] '''q''', '''Epq'''  || [[Logical biconditional]]
+| 9 || (T F F T)(p, q)|| XNOR || '''p''' [[If and only if|यदि और मात्र यदि]] '''q''', '''Epq'''  || [[Logical biconditional|तार्किक biप्रतिबंधात्मक]]
 |-
-| 10 || (T F T F)(p, q)|| '''q''' || '''q''', '''Hpq''' || [[Projection function]]
+| 10 || (T F T F)(p, q)|| '''q''' || '''q''', '''Hpq''' || [[Projection function|प्रक्षेपण फलन]]
 |-
-| 11 || (T F T T)(p, q)|| '''p''' &rarr; '''q'''  || if '''p''' then '''q''', '''Cpq''' || [[Material conditional|Material implication]]
+| 11 || (T F T T)(p, q)|| '''p''' &rarr; '''q'''  || यदि '''p''' तो '''q''', '''Cpq''' || [[Material conditional|सामाग्र निहितार्थ]]
 |-
-| 12 || (T T F F)(p, q)|| '''p''' || '''p''', '''Ipq''' || Projection function
+| 12 || (T T F F)(p, q)|| '''p''' || '''p''', '''Ipq''' || प्रक्षेपण फलन
 |-
-| 13 || (T T F T)(p, q)|| '''p''' &larr; '''q''' || '''p''' if '''q''', '''Bpq''' || [[Converse implication]]
+| 13 || (T T F T)(p, q)|| '''p''' &larr; '''q''' || '''p''' यदि '''q''', '''Bpq''' ||  [[Converse implication|विपरीत निहितार्थ]]
 |-
-| 14 || (T T T F)(p, q)|| OR || '''p''' ∨ '''q''', '''Apq''' || [[Logical disjunction]]
+| 14 || (T T T F)(p, q)|| OR || '''p''' ∨ '''q''', '''Apq''' || [[Logical disjunction|तार्किक वियोजन]]
 |-
-| 15 || (T T T T)(p, q)|| ⊤ || [[Tee (symbol)|true]], '''Vpq''' || [[Tautology (logic)|Tautology]]
+| 15 || (T T T T)(p, q)|| ⊤ || [[Tee (symbol)|सत्य]], '''Vpq''' || [[Tautology (logic)|पुनरुक्ति]]
 |}
-तार्किक संचालकों को वेन आरेख#अवलोकन का उपयोग करके भी देखा जा सकता है।
+तार्किक संचालकों को वेन आरेख अवलोकन का उपयोग करके भी देखा जा सकता है।
+=== [[तार्किक संयोजन]](AND) ===
+तार्किक संयुग्मन दो तार्किक मानों पर एक तार्किक संक्रिया है, सामान्यतः दो तर्कवाक्यों के मान, जो कि कम से कम एक संकार्य सत्य होने पर सत्य का मान उत्पन्न करते हैं।
-=== [[तार्किक संयोजन]] (और) ===
+'''p OR q'''(जिसे '''p ∨ q''', '''Apq''', '''p || q''', या '''p + q''') के रूप में भी लिखा जाता है) के लिए सत्य सारणी इस प्रकार है:
-तार्किक संयुग्मन दो तार्किक मूल्यों पर एक तार्किक संचालन है, आमतौर पर दो प्रस्तावों के मूल्य, जो कि इसके दोनों ऑपरेंड सत्य होने पर सत्य का मान उत्पन्न करते हैं।
-'p AND q' के लिए सत्य सारणी ('p ∧ q', 'Kpq', 'p & q', या 'p' के रूप में भी लिखा जाता है) <math>\cdot</math> क्यू) इस प्रकार है:
+<nowiki>:</nowiki>
 {| class="wikitable" style="margin:1em auto; text-align:center;"
-|+ '''Logical conjunction'''
+|+ '''तार्किक संयोजन'''
 |-
 ! style="width:15%" | ''p''
@@ Line 210: / Line 208: @@
 | style="background:papayawhip" | F || style="background:papayawhip" | F || style="background:papayawhip" | F
 |}
-सामान्य भाषा में, यदि p और q दोनों सत्य हैं, तो संयोजन p ∧ q सत्य है। p और q के तार्किक मानों के अन्य सभी असाइनमेंट के लिए संयोजन p∧ q गलत है।
+सामान्य भाषा में, यदि p और q दोनों सत्य हैं, तो संयोजन p ∧ q सत्य है। p और q के तार्किक मानों के अन्य सभी समनुदेश के लिए संयोजन p∧ q असत्य है।
 यह भी कहा जा सकता है कि यदि p, तो p∧q, q है, अन्यथा p∧q, p है।
-=== तार्किक संयोजन (या) ===
+=== तार्किक वियोजन(OR) ===
-[[तार्किक विच्छेदन]] दो तार्किक मूल्यों पर एक तार्किक ऑपरेशन है, आमतौर पर दो प्रस्तावों के मान, जो कि कम से कम एक ऑपरेंड सत्य होने पर सत्य का मान उत्पन्न करता है।
+[[तार्किक विच्छेदन]] दो तार्किक मानों पर एक तार्किक संक्रिया है, सामान्यतः दो तर्कवाक्यों के मान, जो कि कम से कम एक संकार्य सत्य होने पर सत्य का मान उत्पन्न करता है।
-'p OR q' ('p ∨ q', 'Apq', 'p || q', या 'p + q' के रूप में भी लिखा जाता है) के लिए सत्य तालिका इस प्रकार है:
+'''p OR q'''(जिसे '''p ∨ q''', '''Apq''', '''p || q''', या '''p + q''' के रूप में भी लिखा जाता है) के लिए ट्रुथ टेबल इस प्रकार है:
 {| class="wikitable" style="margin:1em auto; text-align:center;"
-|+ '''Logical disjunction'''
+|+ '''तार्किक वियोजन'''
 |-
 ! style="width:15%" | ''p''
@@ Line 237: / Line 235: @@
 === तार्किक निहितार्थ ===
-तार्किक निहितार्थ और [[सामग्री सशर्त]] दोनों दो तार्किक मूल्यों पर एक तार्किक संचालन से जुड़े होते हैं, आमतौर पर दो प्रस्तावों के मूल्य, जो कि पहला ऑपरेंड सत्य है और दूसरा ऑपरेंड गलत है, और अन्यथा सत्य का मान उत्पन्न करता है। .
+तार्किक निहितार्थ और [[सामग्री सशर्त|सामाग्र प्रतिबंधात्मक]] दोनों दो तार्किक मानों पर एक तार्किक संक्रिया से जुड़े होते हैं, सामान्यतः दो तर्कवाक्यों के मान, जो कि प्रथम संकार्य सत्य है और दूसरा संकार्य असत्य है, और अन्यथा सत्य का मान उत्पन्न करता है। .
-तार्किक निहितार्थ 'p का तात्पर्य q' ('p ⇒ q' के रूप में चिन्हित, या शायद ही कभी 'Cpq') से जुड़ी सत्य तालिका इस प्रकार है:
+तार्किक निहितार्थ 'p,से जुड़ी ट्रुथ टेबल का तात्पर्य है(''''p ⇒ q''' के रूप में चिन्हित, या संभवतः ही कभी ''''Cpq'''<nowiki/>') इस प्रकार है:
 {| class="wikitable" style="margin:1em auto; text-align:center;"
-|+ '''Logical implication'''
+|+ '''तार्किक निहितार्थ'''
 |-
 ! style="width:15%" | ''p''
@@ Line 256: / Line 254: @@
 | style="background:papayawhip" | F || style="background:papayawhip" | F || T
 |}
-सामग्री सशर्त से जुड़ी सत्य तालिका यदि p तो q (p → q के रूप में प्रतीक) इस प्रकार है:
+सामाग्र प्रतिबंधात्मक से जुड़ी ट्रुथ टेबल '''यदि p तो q(p → q''' के रूप में प्रतीक) इस प्रकार है:
 {| class="wikitable" style="margin:1em auto; text-align:center;"
-|+ '''Material conditional '''
+|+ '''सामाग्र प्रतिबंधात्मक '''
 |-
 ! style="width:15%" | ''p''
@@ Line 273: / Line 271: @@
 | style="background:papayawhip" | F || style="background:papayawhip" | F || T
 |}
-यह नोट करना भी उपयोगी हो सकता है कि p ⇒ q और p → q ¬p ∨ q के समतुल्य हैं।
+यह टिप्पणी करना भी उपयोगी हो सकता है कि '''p ⇒ q''' और '''p → q ¬p ∨ q''' के समतुल्य हैं।
 === [[तार्किक समानता]] ===
-तार्किक समानता (जिसे [[द्विशर्त]] या [[अनन्य और न ही]] के रूप में भी जाना जाता है) दो तार्किक मूल्यों पर एक तार्किक ऑपरेशन है, आमतौर पर दो प्रस्तावों के मूल्य, जो कि दोनों ऑपरेंड गलत हैं या दोनों ऑपरेंड सत्य हैं, तो सत्य का मान पैदा करता है।
+तार्किक समानता(जिसे [[द्विशर्त|द्विप्रतिबंधात्मक]] या [[अनन्य और न ही|अनन्य और nor]] के रूप में भी जाना जाता है) दो तार्किक मानों पर एक तार्किक संक्रिया है, सामान्यतः दो तर्कवाक्यों के मान, जो कि दोनों संकार्य असत्य है या दोनों संकार्य सत्य हैं, तो सत्य का मान उत्पन्न करता है।
-'p XNOR q' ('p ↔ q', 'Epq', 'p = q', या 'p ≡ q' के रूप में भी लिखा जाता है) के लिए सत्य तालिका इस प्रकार है:
+'''p XNOR q'''(जिसे '''p ↔ q''', '''Epq''', '''p = q''', or '''p ≡ q'''<nowiki/>'के रूप में भी लिखा जाता है) के लिए ट्रुथ टेबल इस प्रकार है:
 {| class="wikitable" style="margin:1em auto; text-align:center;"
-|+ '''Logical equality'''
+|+ '''तार्किक समानता'''
 |-
 ! style="width:15%" | ''p''
@@ Line 295: / Line 293: @@
 | style="background:papayawhip" | F || style="background:papayawhip" | F || T
 |}
-अतः p EQ q सत्य है यदि p और q का सत्य मान समान है (दोनों सत्य या दोनों असत्य), और असत्य यदि उनके भिन्न सत्य मान हैं।
+अतः p EQ q सत्य है यदि p और q का सत्य मान समान है(दोनों सत्य या दोनों असत्य), और असत्य यदि उनके भिन्न सत्य मान हैं।
-=== [[अनन्य संयोजन]] ===
+=== [[अनन्य संयोजन|अनन्य '''वियोजन''']] ===
-एक्सक्लूसिव डिसजंक्शन दो तार्किक मूल्यों पर एक तार्किक ऑपरेशन है, आम तौर पर दो प्रस्तावों के मूल्य, जो सत्य का मान पैदा करता है यदि एक नहीं बल्कि इसके दोनों ऑपरेंड सत्य हैं।
+अनन्य वियोजन दो तार्किक मानों पर एक तार्किक संक्रिया है, सामान्यतः दो तर्कवाक्यों के मान, जो सत्य का मान उत्पन्न करता है यदि एक नहीं प्रत्युत इसके दोनों संकार्य सत्य हैं
-'p XOR q' ('Jpq', या 'p ⊕ q' के रूप में भी लिखा जाता है) के लिए सत्य तालिका इस प्रकार है:
+'''p XOR q'''(जिसे '''Jpq''', या '''p ⊕ q''' के रूप में भी लिखा जाता है) के लिए ट्रुथ टेबल इस प्रकार है:
 {| class="wikitable" style="margin:1em auto; text-align:center;"
-|+ '''Exclusive disjunction'''
+|+ '''अनन्य वियोजन'''
 |-
 ! style="width:15%" | ''p''
@@ Line 317: / Line 315: @@
 | style="background:papayawhip" | F || style="background:papayawhip" | F || style="background:papayawhip" | F
 |}
-दो कथनों के लिए, XOR को (p ∧ ¬q) ∨ (¬p ∧ q) के रूप में भी लिखा जा सकता है।
+दो कथनों के लिए, '''XOR''' को(p ∧ ¬q) ∨(¬p ∧ q) के रूप में भी लिखा जा सकता है।
-=== [[तार्किक नंद]] ===
+=== [[तार्किक नंद|तार्किक NAND]] ===
-तार्किक NAND दो तार्किक मानों पर एक तार्किक संक्रिया है, आम तौर पर दो प्रस्तावों के मान, जो असत्य का मान उत्पन्न करता है यदि इसके दोनों ऑपरेंड सत्य हैं। दूसरे शब्दों में, यदि इसका कम से कम एक ऑपरेंड गलत है तो यह सही का मान उत्पन्न करता है।
+तार्किक NAND दो तार्किक मानों पर एक तार्किक संक्रिया है, सामान्यतः दो तर्कवाक्यों के मान, जो असत्य का मान उत्पन्न करता है यदि इसके दोनो संकार्या सत्य हैं। दूसरे शब्दों में, यदि इसका कम से कम एक संकार्यं असत्य है तो यह सत्य का मान उत्पन्न करता है।
-'पी नंद क्यू' ('पी ↑ क्यू', 'डीपीक्यू', या 'पी | क्यू' के रूप में भी लिखा गया है) के लिए सत्य तालिका इस प्रकार है:
+'''p NAND q'''('''p ↑ q''', '''Dpq''', या '''p | q''' के रूप में भी लिखा गया है) के लिए ट्रुथ टेबल इस प्रकार है:
 {| class="wikitable" style="margin:1em auto; text-align:center;"
-|+ '''Logical NAND'''
+|+ '''तार्किक NAND'''
 |-
 ! style="width:15%" | ''p''
@@ Line 339: / Line 337: @@
 | style="background:papayawhip" | F || style="background:papayawhip" | F || T
 |}
-किसी तार्किक संक्रिया को यौगिक संक्रिया के रूप में अभिव्यक्त करना अक्सर उपयोगी होता है, अर्थात, एक ऐसी संक्रिया के रूप में जो अन्य संक्रियाओं से निर्मित या संघटित होती है। ऐसी कई रचनाएँ संभव हैं, जो उन संक्रियाओं पर निर्भर करती हैं जिन्हें मूल या आदिम के रूप में लिया जाता है और उन संक्रियाओं को जिन्हें समग्र या व्युत्पन्न के रूप में लिया जाता है।
+किसी तार्किक संक्रिया को यौगिक संक्रिया के रूप में अभिव्यक्त करना प्रायः उपयोगी होता है, अर्थात, एक ऐसी संक्रिया के रूप में जो अन्य संक्रियाओं से निर्मित या संघटित होती है। ऐसी कई रचनाएँ संभव हैं, जो उन संक्रियाओं पर निर्भर करती हैं जिन्हें मूल या प्राथमिक के रूप में लिया जाता है और उन संक्रियाओं को जिन्हें समग्र या व्युत्पन्न के रूप में लिया जाता है।
-तार्किक NAND के मामले में, यह NOT और AND के यौगिक के रूप में स्पष्ट रूप से अभिव्यक्त होता है।
+तार्किक NAND के स्थिति में, यह NOT और AND के यौगिक के रूप में स्पष्ट रूप से अभिव्यक्त होता है।
-संयोजन का निषेध: ¬(p ∧ q), और निषेध का संयोजन: (¬p) ∨ (¬q) को निम्नानुसार सारणीबद्ध किया जा सकता है:
+संयोजन का निषेध: ¬(p ∧ q), और निषेध का संयोजन:(¬p) ∨(¬q) को निम्नानुसार सारणीबद्ध किया जा सकता है:
 {| class="wikitable" style="margin:1em auto; text-align:center;"
@@ Line 365: / Line 363: @@
-=== [[तार्किक नॉर]] ===
+=== [[तार्किक नॉर|तार्किक NOR]] ===
-तार्किक NOR दो तार्किक मूल्यों पर एक तार्किक संचालन है, आम तौर पर दो प्रस्तावों के मान, जो सत्य का मान उत्पन्न करता है यदि इसके दोनों ऑपरेंड झूठे हैं। दूसरे शब्दों में, यदि इसका कम से कम एक ऑपरेंड सत्य है, तो यह असत्य का मान उत्पन्न करता है। ↓ को इसके आविष्कारक, चार्ल्स सैंडर्स पियर्स के बाद [[पियर्स तीर]] के रूप में भी जाना जाता है, और यह [[एकमात्र पर्याप्त ऑपरेटर]] है।
+तार्किक NOR दो तार्किक मानों पर एक तार्किक संक्रिया है, सामान्यतः दो तर्कवाक्यों के मान, जो सत्य का मान उत्पन्न करता है यदि इसके दोनों संकार्यं असत्य है। दूसरे शब्दों में, यदि इसका कम से कम एक संकार्यक सत्य है, तो यह असत्य का मान उत्पन्न करता है। ↓ को इसके आविष्कारक, चार्ल्स सैंडर्स पियर्स के बाद [[पियर्स तीर]] के रूप में भी जाना जाता है, और यह [[एकमात्र पर्याप्त ऑपरेटर|एकमात्र पर्याप्त]] संक्रियक है।
-'p NOR q' ('p ↓ q', या 'Xpq' के रूप में भी लिखा जाता है) के लिए सत्य तालिका इस प्रकार है:
+'''p NOR q'''('''<nowiki/>'p ↓ q',''' या '''<nowiki/>'Xpq'''' के रूप में भी लिखा जाता है) के लिए ट्रुथ टेबल इस प्रकार है:
 {| class="wikitable" style="margin:1em auto; text-align:center;"
-|+ '''Logical NOR'''
+|+ '''तार्किक NOR'''
 |-
 ! style="width:15%" | ''p''
@@ Line 385: / Line 383: @@
 | style="background:papayawhip" | F || style="background:papayawhip" | F || T
 |}
-वियोजन ¬(p ∨ q), और निषेधों के संयोजन (¬p) ∧ (¬q) का निषेध निम्नानुसार सारणीबद्ध किया जा सकता है:
+वियोजन ¬(p ∨ q), और निषेधों के संयोजन(¬p) ∧(¬q) का निषेध निम्नानुसार सारणीबद्ध किया जा सकता है:
 {| class="wikitable" style="margin:1em auto; text-align:center;"
@@ Line 405: / Line 403: @@
 | style="background:papayawhip" | F || style="background:papayawhip" | F || style="background:papayawhip" | F || T || T || T || T
 |}
-कार्यात्मक तर्क p और q के लिए तार्किक मानों के प्रत्येक असाइनमेंट के तहत NAND और NOR के लिए सारणीबद्ध व्युत्पत्तियों का निरीक्षण, ¬(p ∧ q) के लिए कार्यात्मक मानों के समान पैटर्न का उत्पादन करता है जैसा कि (¬p) ∨ (¬q) के लिए होता है। और ¬(p ∨ q) के लिए (¬p) ∧ (¬q) के लिए। इस प्रकार प्रत्येक जोड़ी में पहली और दूसरी अभिव्यक्तियाँ तार्किक रूप से समतुल्य हैं, और सभी संदर्भों में एक दूसरे के लिए प्रतिस्थापित की जा सकती हैं जो केवल उनके तार्किक मूल्यों से संबंधित हैं।
+कार्यात्मक तर्क p और q के लिए तार्किक मानों के प्रत्येक समनुदेश के अंतर्गत NAND और NOR के लिए सारणीबद्ध व्युत्पत्तियों का निरीक्षण, ¬(p ∧ q) के लिए कार्यात्मक मानों के समान प्रतिरूप का उत्पादन करता है जैसा कि(¬p) ∨(¬q) के लिए होता है। और ¬(p ∨ q) के लिए(¬p) ∧(¬q) के लिए। इस प्रकार प्रत्येक युग्म में पहली और दूसरी अभिव्यक्तियाँ तार्किक रूप से समतुल्य हैं, और सभी संदर्भों में एक दूसरे के लिए प्रतिस्थापित की जा सकती हैं जो मात्र उनके तार्किक मानों से संबंधित हैं।
 यह तुल्यता डी मॉर्गन के नियमों में से एक है।
-== सत्य तालिकाओं का आकार ==
+== ट्रुथ टेबल का आकार ==
-यदि n इनपुट चर हैं तो 2 हैं<sup>n</sup> उनके सत्य मानों के संभावित संयोजन। एक दिया गया फ़ंक्शन प्रत्येक संयोजन के लिए सही या गलत उत्पन्न कर सकता है इसलिए n चर के विभिन्न कार्यों की संख्या दोहरा घातांक फ़ंक्शन 2 है<sup>2<sup>एन</sup></sup>.
+यदि n निविष्ट चर हैं तो उनके सत्य मानों के 2<sup>n</sup> संभावित संयोजन हैं। एक दिया गया फलन प्रत्येक संयोजन के लिए सत्य या असत्य उत्पन्न कर सकता है इसलिए n चर के विभिन्न कार्यों की संख्या दोहरा घातांक फलन 2<sup>2<sup>n</sup></sup> है।
 {| class="wikitable" style="text-align:right;"
@@ Line 433: / Line 431: @@
 | 8 || 256 || style="border-right:0px solid transparent;" |  {{val|115792089237316195423570985008687907853269984665640564039457584007913129639936|fmt=commas}} || style="border-left:0px solid transparent;text-align:left;" | ≈ 1.2{{e|77}}
 |}
-तीन या अधिक चरों के फलनों के लिए सत्य सारणी विरले ही दी जाती है।
+तीन या अधिक चरों के फलनों के लिए सत्य सारणी कदाचित ही दी जाती है।
 == अनुप्रयोग ==
-कई अन्य तार्किक तुल्यताओं को सिद्ध करने के लिए सत्य तालिकाओं का उपयोग किया जा सकता है। उदाहरण के लिए, निम्नलिखित सत्य तालिका पर विचार करें:
+कई अन्य तार्किक तुल्यताओं को सिद्ध करने के लिए ट्रुथ टेबल का उपयोग किया जा सकता है। उदाहरण के लिए, निम्नलिखित ट्रुथ टेबल पर विचार करें:
 {| class="wikitable" style="margin:1em auto; text-align:center;"
-|+ '''Logical equivalence : <math>(p \Rightarrow q) \equiv (\lnot p \lor q)</math>'''
+|+ '''तार्किक समतुल्यता : <math>(p \Rightarrow q) \equiv (\lnot p \lor q)</math>'''
 |- style="background:paleturquoise"
 ! style="width:12%" | <math>p</math>
@@ Line 455: / Line 453: @@
 | style="background:papayawhip" | F || style="background:papayawhip" | F || T || T || T
 |}
-यह इस तथ्य को प्रदर्शित करता है कि <math>p \Rightarrow q</math> [[तार्किक रूप से समकक्ष]] है <math>\lnot p \lor q</math>.
+यह इस तथ्य को प्रदर्शित करता है कि <math>p \Rightarrow q</math> [[तार्किक रूप से समकक्ष|तार्किक]] रूप से <math>\lnot p \lor q</math> [[तार्किक रूप से समकक्ष|समतुल्य]] है।
-=== सबसे अधिक उपयोग किए जाने वाले तार्किक ऑपरेटरों के लिए सत्य तालिका ===
+=== सबसे अधिक उपयोग किए जाने वाले तार्किक संक्रियकों के लिए ट्रुथ टेबल ===
-यहाँ एक सत्य तालिका है जो ट्रैक्टैटस लोगिको-फिलोसोफिकस # प्रस्ताव 4.*-5.* में से सबसे अधिक उपयोग किए जाने वाले 7 की परिभाषा देती है:
+यहाँ एक ट्रुथ टेबल है जो ट्रैक्टैटस तर्क-दार्शनिक तर्कवाक्य 4.*-5.* में से सबसे अधिक उपयोग किए जाने वाले 7 की परिभाषा देती है:
 {| class="wikitable" style="margin:1em auto 1em auto; text-align:center;"
@@ Line 475: / Line 473: @@
 |-
 | ||
-| [[logical conjunction|AND]]<br /> (conjunction)
+| [[logical conjunction|AND]]<br />(संयोजन)
-| [[logical disjunction|OR]] <br /> (disjunction)
+| [[logical disjunction|OR]] <br />(वियोजन)
-| [[Exclusive or|XOR]]       <br /> (exclusive or) <!-- this could be "+" instead according to other articles -->
+| [[Exclusive or|XOR]] <br />(अनन्य or)<!-- this could be "+" instead according to other articles -->
-| [[Exclusive nor|XNOR]]     <br /> (exclusive nor)
+| [[Exclusive nor|XNOR]] <br />(अनन्य nor)
-| [[logical conditional|conditional <br /> "if-then"]]
+| [[logical conditional|प्रतिबंधात्मक <br /> "if-then"]]
-| conditional <br /> "then-if"
+| प्रतिबंधात्मक <br /> "then-if"
-| [[if and only if|biconditional<br /> "if-and-only-if"]]
+| [[if and only if|biप्रतिबंधात्मक<br /> "if-and-only-if"]]
 |-
 | colspan=18 |
-''where'' &nbsp;{{colorbox|white|&nbsp;T&nbsp;}}&nbsp; ''means'' '''true''' ''and'' &nbsp;{{colorbox|papayawhip|&nbsp;F&nbsp;}}&nbsp; ''means'' '''false'''
+''where'' &nbsp;{{colorbox|white|&nbsp;T&nbsp;}}&nbsp; ''means'' '''सत्य''' ''and'' &nbsp;{{colorbox|papayawhip|&nbsp;F&nbsp;}}&nbsp; ''means'' '''असत्य'''
 |}
-=== बाइनरी ऑपरेटरों के लिए संघनित सत्य सारणी ===
+=== द्विआधारी संक्रियकों के लिए संघनित सत्य सारणी ===
-बाइनरी ऑपरेटरों के लिए, सत्य तालिका का एक संघनित रूप भी उपयोग किया जाता है, जहां पंक्ति शीर्षक और स्तंभ शीर्षक ऑपरेंड निर्दिष्ट करते हैं और तालिका कक्ष परिणाम निर्दिष्ट करते हैं। उदाहरण के लिए, [[बूलियन तर्क]] इस संघनित सत्य तालिका संकेतन का उपयोग करता है:
+द्विआधारी संक्रियकों के लिए, ट्रुथ टेबल का एक संघनित रूप भी उपयोग किया जाता है, जहां पंक्ति शीर्षक और स्तंभ शीर्षक संकार्य निर्दिष्ट करते हैं और तालिका कक्ष परिणाम निर्दिष्ट करते हैं। उदाहरण के लिए, [[बूलियन तर्क]] इस संघनित ट्रुथ टेबल संकेतन का उपयोग करता है:
 {|
@@ Line 519: / Line 517: @@
 |}
-यह अंकन विशेष रूप से उपयोगी है यदि संक्रिया क्रमविनिमेय हैं, हालांकि कोई अतिरिक्त रूप से यह निर्दिष्ट कर सकता है कि पंक्तियाँ पहला ऑपरेंड हैं और कॉलम दूसरे ऑपरेंड हैं। यह संघनित संकेतन तर्क के बहु-मूल्यवान विस्तारों पर चर्चा करने में विशेष रूप से उपयोगी है, क्योंकि यह अन्यथा आवश्यक पंक्तियों की संख्या के संयोजी विस्फोट पर महत्वपूर्ण रूप से कटौती करता है। यह तालिका में मूल्यों के वितरण के त्वरित पहचानने योग्य विशेषता आकार भी प्रदान करता है जो पाठक को नियमों को और अधिक तेज़ी से समझने में सहायता कर सकता है।
+यह अंकन विशेष रूप से उपयोगी है यदि संक्रिया क्रमविनिमेय हैं, यद्यपि कोई अतिरिक्त रूप से यह निर्दिष्ट कर सकता है कि पंक्तियाँ प्रथम संकार्य हैं और स्तंभ दूसरे संकार्य हैं। यह संघनित संकेतन तर्क के बहु-मूल्यवान विस्तारों पर चर्चा करने में विशेष रूप से उपयोगी है, क्योंकि यह अन्यथा आवश्यक पंक्तियों की संख्या के संयोजी विस्फोट पर महत्वपूर्ण रूप से कटौती करता है। यह तालिका में मानों के वितरण के त्वरित तत्समक योग्य विशेषता आकार भी प्रदान करता है जो पाठक को नियमों को और अधिक तीव्र से समझने में सहायता कर सकता है।
-=== डिजिटल लॉजिक में सत्य सारणी ===
+=== डिजिटल तर्क में सत्य सारणी ===
-[[डिजिटल सर्किट]] में लुकअप टेबल # हार्डवेयर LUTs | हार्डवेयर लुक-अप टेबल (LUTs) के कार्य को निर्दिष्ट करने के लिए ट्रूथ टेबल का भी उपयोग किया जाता है। एन-इनपुट एलयूटी के लिए, ट्रुथ टेबल में 2^एन मान (या उपरोक्त सारणीबद्ध प्रारूप में पंक्तियां) होंगे, जो पूरी तरह से एलयूटी के लिए एक बूलियन फ़ंक्शन निर्दिष्ट करते हैं। बाइनरी अंक प्रणाली में प्रत्येक बूलियन मान को [[अंश]] के रूप में प्रदर्शित करके, सत्य तालिका मानों को [[इलेक्ट्रॉनिक डिजाइन स्वचालन]] | इलेक्ट्रॉनिक डिज़ाइन ऑटोमेशन (EDA) [[सॉफ़्टवेयर]] में [[पूर्णांक]] मानों के रूप में कुशलतापूर्वक एन्कोड किया जा सकता है। उदाहरण के लिए, एक 32-बिट पूर्णांक 5 इनपुट तक LUT के लिए सत्य तालिका को सांकेतिक शब्दों में बदल सकता है।
+[[डिजिटल सर्किट|डिजिटल परिपथ]] में हार्डवेयर लुक-अप टेबल(LUT) के कार्य को निर्दिष्ट करने के लिए ट्रूथ टेबल का भी उपयोग किया जाता है। एन- निविष्ट एलयूटी के लिए, ट्रुथ टेबल में 2^n मान(या उपरोक्त सारणीबद्ध प्रारूप में पंक्तियां) होंगे, जो पूर्ण रूप से एलयूटी के लिए एक बूलियन फलन निर्दिष्ट करते हैं। द्विआधारी अंक प्रणाली में प्रत्येक बूलियन मान को [[अंश]] के रूप में प्रदर्शित करके, ट्रुथ टेबल मानों को [[इलेक्ट्रॉनिक डिजाइन स्वचालन]](EDA) [[सॉफ़्टवेयर]] में [[पूर्णांक]] मानों के रूप में कुशलतापूर्वक कोडित किया जा सकता है। उदाहरण के लिए, एक 32-बिट पूर्णांक 5 निविष्ट तक एलयूटी के लिए ट्रुथ टेबल को सांकेतिक शब्दों में बदल सकता है।
-एक सत्य तालिका के पूर्णांक प्रतिनिधित्व का उपयोग करते समय, LUT का आउटपुट मान LUT के इनपुट मानों के आधार पर बिट इंडेक्स k की गणना करके प्राप्त किया जा सकता है, जिस स्थिति में LUT का आउटपुट मान पूर्णांक का kth बिट होता है। उदाहरण के लिए, n बूलियन इनपुट मानों की [[सरणी डेटा संरचना]] दिए गए LUT के आउटपुट मान का मूल्यांकन करने के लिए, सत्य तालिका के आउटपुट मान के बिट इंडेक्स की गणना निम्नानुसार की जा सकती है: यदि ith इनपुट सत्य है, तो मान लें <math>V_i = 1</math>, और जाने दो <math>V_i = 0</math>. फिर सत्य तालिका के द्विआधारी प्रतिनिधित्व का kth बिट LUT का आउटपुट मान है, जहाँ <math>k = V_0 \times 2^0 + V_1 \times 2^1 + V_2 \times 2^2 + \dots + V_n \times 2^n</math>.
+एक ट्रुथ टेबल के पूर्णांक प्रतिनिधित्व का उपयोग करते समय, एलयूटी का निर्गत मान एलयूटी के निविष्ट मानों के आधार पर बिट निर्देशिका k की गणना करके प्राप्त किया जा सकता है, जिस स्थिति में एलयूटी का निर्गत मान पूर्णांक का kवां बिट होता है। उदाहरण के लिए, n बूलियन निविष्ट मानों की [[सरणी डेटा संरचना]] दिए गए एलयूटी के निर्गत मान का मूल्यांकन करने के लिए, ट्रुथ टेबल के निर्गत मान के बिट निर्देशिका की गणना निम्नानुसार की जा सकती है: यदि iवां निविष्ट सत्य है, तो <math>V_i = 1</math> दें, अन्यथा <math>V_i = 0</math> दें। फिर ट्रुथ टेबल के द्विआधारी प्रतिनिधित्व का kवां बिट एलयूटी का निर्गत मान है, जहाँ <math>k = V_0 \times 2^0 + V_1 \times 2^1 + V_2 \times 2^2 + \dots + V_n \times 2^n</math> है।
-ट्रुथ टेबल बूलियन फ़ंक्शंस को एनकोड करने का एक सरल और सीधा तरीका है, हालांकि इनपुट की संख्या में वृद्धि के रूप में आकार में [[घातीय वृद्धि]] को देखते हुए, वे बड़ी संख्या में इनपुट वाले फ़ंक्शंस के लिए उपयुक्त नहीं हैं। अन्य अभ्यावेदन जो अधिक मेमोरी कुशल हैं, पाठ समीकरण और बाइनरी निर्णय आरेख हैं।
+ट्रुथ टेबल बूलियन फलनों को कोडित करने का एक सरल और सीधी विधि है, यद्यपि निविष्ट की संख्या में वृद्धि के रूप में आकार में [[घातीय वृद्धि]] को देखते हुए, वे बड़ी संख्या में निविष्ट वाले फलनों के लिए उपयुक्त नहीं हैं। अन्य अभ्यावेदन जो अधिक मेमोरी कुशल हैं, पाठ समीकरण और द्विआधारी निर्णय आरेख हैं।
 ===डिजिटल इलेक्ट्रॉनिक्स में ट्रूथ टेबल के अनुप्रयोग===
-डिजिटल इलेक्ट्रॉनिक्स और कंप्यूटर विज्ञान (एप्लाइड लॉजिक इंजीनियरिंग और गणित के क्षेत्र) में, [[तर्क द्वार]]्स या कोड के उपयोग के बिना, आउटपुट के इनपुट के सरल सहसंबंधों के लिए बुनियादी बूलियन संचालन को कम करने के लिए सत्य तालिकाओं का उपयोग किया जा सकता है। उदाहरण के लिए, एक बाइनरी जोड़ को सत्य तालिका के साथ प्रदर्शित किया जा सकता है:
+डिजिटल इलेक्ट्रॉनिक्स और कंप्यूटर विज्ञान(प्रयुक्त तर्क अभियांत्रिकी और गणित के क्षेत्र) में, [[तर्क द्वार|तर्क गेट्स]] या कोड के उपयोग के बिना, निर्गत के निविष्ट के सरल सहसंबंधों के लिए मूलभूत बूलियन संक्रिया को कम करने के लिए ट्रुथ टेबल का उपयोग किया जा सकता है। उदाहरण के लिए, एक द्विआधारी योग को ट्रुथ टेबल के साथ प्रदर्शित किया जा सकता है:
+A B | C R
-<पूर्व>
-ए बी | करोड़
 1 | 1 0
 0 | 0 1
 1 | 0 1
 0 | 0 0
-कहाँ
+जहाँ
+A= प्रथम संकार्य
+B = दूसरा संकार्य
+C= वहन
+R= परिणाम
+यह ट्रुथ टेबल बाएं से दाएं पढ़ी जाती है:
+* मान युग्म(A, B) मान युग्म(C, R) के बराबर है।
+* या इस उदाहरण के लिए, A+B समान परिणाम R, वहन C के साथ।
-ए = पहला ऑपरेंड
+ध्यान दें कि यह तालिका इस संक्रिया को लागू करने के लिए आवश्यक तर्क संक्रियाएँ का वर्णन नहीं करती है, प्रत्युत यह मात्र निर्गत मानों के निविष्ट के कार्य को निर्दिष्ट करती है।
-बी = दूसरा ऑपरेंड
-सी = कैरी
-आर = परिणाम
-</पूर्व>
-यह सत्य तालिका बाएं से दाएं पढ़ी जाती है:
+परिणाम के संबंध में, इस उदाहरण को अंकगणितीय रूप से सापेक्ष 2 द्विआधारी योग के रूप में देखा जा सकता है, और तार्किक रूप से अनन्य-या(अनन्य संयोजन) द्विआधारी तर्क संक्रिया के बराबर है।
-* वैल्यू पेयर (ए, बी) वैल्यू पेयर (सी, आर) के बराबर है।
-* या इस उदाहरण के लिए, ए प्लस बी समान परिणाम आर, कैरी सी के साथ।
-ध्यान दें कि यह तालिका इस ऑपरेशन को लागू करने के लिए आवश्यक लॉजिक ऑपरेशंस का वर्णन नहीं करती है, बल्कि यह केवल आउटपुट मानों के इनपुट के कार्य को निर्दिष्ट करती है।
+इस स्थिति में इसका उपयोग मात्र बहुत ही सरल निविष्ट और निर्गत के लिए किया जा सकता है, जैसे 1s और 0s। यद्यपि, यदि निविष्ट् पर किसी प्रकार के मानों की संख्या बढ़ सकती है, तो ट्रुथ टेबल का आकार बढ़ जाएगा।
-परिणाम के संबंध में, इस उदाहरण को अंकगणितीय रूप से मोडुलो 2 बाइनरी जोड़ के रूप में देखा जा सकता है, और तार्किक रूप से अनन्य-या (अनन्य संयोजन) बाइनरी लॉजिक ऑपरेशन के बराबर है।
+उदाहरण के लिए, एक अतिरिक्त संक्रिया में, किसी को दो संकार्य, A और B की आवश्यकता होती है। प्रत्येक में दो मानों में से एक हो सकता है, शून्य या एक। इन दो मानों के संयोजनों की संख्या 2×2 या चार है। तो परिणाम C और R के चार संभावित निर्गत हैं। यदि कोई आधार 3 का उपयोग करता है, तो आकार 3×3, या नौ संभावित निर्गत तक बढ़ जाएगा।
-इस मामले में इसका उपयोग केवल बहुत ही सरल इनपुट और आउटपुट के लिए किया जा सकता है, जैसे 1s और 0s। हालाँकि, यदि इनपुट्स पर किसी प्रकार के मानों की संख्या बढ़ सकती है, तो सत्य तालिका का आकार बढ़ जाएगा।
+उपरोक्त पूर्व योग उदाहरण को आधा योजक कहा जाता है। एक पूर्ण-योजक तब होता है जब पिछले संक्रिया से अगले योजक को निविष्ट के रूप में प्रदान किया जाता है। इस प्रकार, एक [[पूर्ण योजक]] के तर्क का वर्णन करने के लिए आठ पंक्तियों की एक ट्रुथ टेबल की आवश्यकता होगी:
-उदाहरण के लिए, एक अतिरिक्त ऑपरेशन में, किसी को दो ऑपरेंड, ए और बी की आवश्यकता होती है। प्रत्येक में दो मानों में से एक हो सकता है, शून्य या एक। इन दो मानों के संयोजनों की संख्या 2×2 या चार है। तो परिणाम C और R के चार संभावित आउटपुट हैं। यदि कोई आधार 3 का उपयोग करता है, तो आकार 3×3, या नौ संभावित आउटपुट तक बढ़ जाएगा।
-उपरोक्त पहले जोड़ उदाहरण को आधा योजक कहा जाता है। एक पूर्ण-योजक तब होता है जब पिछले ऑपरेशन से अगले योजक को इनपुट के रूप में प्रदान किया जाता है। इस प्रकार, एक [[पूर्ण योजक]] के तर्क का वर्णन करने के लिए आठ पंक्तियों की एक सत्य तालिका की आवश्यकता होगी:
+A B C* | C R
-<पूर्व>
-ए बी सी* | करोड़
 0 0 | 0 0
 1 0 | 0 1
 0 0 | 0 1
 1 0 | 1 0
 0 1 | 0 1
 1 1 | 1 0
 0 1 | 1 0
-1 1 | 11
-पहले जैसा ही, लेकिन..
+1 1 | 1 1
-C* = पिछले ऐडर से कैरी करें
-</पूर्व>
+पूर्व जैसा ही, परन्तु..
+C* = पिछले योजक से वहन करें
 == इतिहास ==
-[[इरविंग एनेलिस]] के शोध से पता चलता है कि सी.एस. पियर्स एक सत्य तालिका मैट्रिक्स तैयार करने के लिए (1893 में) सबसे शुरुआती तर्कशास्त्री प्रतीत होते हैं।<ref name="Peirce">{{cite journal|last1=Anellis|first1=Irving H.|authorlink=Irving Anellis|title=Peirce's Truth-functional Analysis and the Origin of the Truth Table|journal=History and Philosophy of Logic|date=2012|volume=33|pages=87–97|doi=10.1080/01445340.2011.621702|s2cid=170654885 }}</ref><ref>Peirce's publication included the work of [[Christine Ladd-Franklin#Mathematics and logic|Christine Ladd (1881)]]: Peirce's Ph.D. student Christine Ladd-Franklin found the truth table in ''Tractatus Logico-Philosophicus'' Proposition 5.101, 40 years earlier than Wittgenstein. {{cite book |page=[https://books.google.com/books?id=A48XAAAAIAAJ&pg=PA62 62] |first=Christine |last=Ladd |date=1881 |title=On the Algebra of Logic |series=Studies in Logic |editor-first=C.S. |editor-last=Peirce}}</ref> उनके पेपर के सारांश से:
+[[इरविंग एनेलिस]] के शोध से पता चलता है कि सी.एस. पियर्स एक ट्रुथ टेबल आव्यूह आविष्कार करने के लिए(1893 में) सबसे प्रारंभिक तर्कशास्त्री प्रतीत होते हैं।<ref name="Peirce">{{cite journal|last1=Anellis|first1=Irving H.|authorlink=Irving Anellis|title=Peirce's Truth-functional Analysis and the Origin of the Truth Table|journal=History and Philosophy of Logic|date=2012|volume=33|pages=87–97|doi=10.1080/01445340.2011.621702|s2cid=170654885 }}</ref><ref>Peirce's publication included the work of [[Christine Ladd-Franklin#Mathematics and logic|Christine Ladd (1881)]]: Peirce's Ph.D. student Christine Ladd-Franklin found the truth table in ''Tractatus Logico-Philosophicus'' Proposition 5.101, 40 years earlier than Wittgenstein. {{cite book |page=[https://books.google.com/books?id=A48XAAAAIAAJ&pg=PA62 62] |first=Christine |last=Ladd |date=1881 |title=On the Algebra of Logic |series=Studies in Logic |editor-first=C.S. |editor-last=Peirce}}</ref> उनके पृष्ठ के सारांश से:
-<blockquote> 1997 में, जॉन शॉस्की ने [[बर्ट्रेंड रसेल]] के 1912 के लेक्चर ऑफ़ द फिलॉसफी ऑफ़ लॉजिकल एटमिज़्म ट्रूथ टेबल मैट्रिसेस के टाइप किए गए प्रतिलेख के एक पृष्ठ के शीर्ष पर खोजा। निषेध का मैट्रिक्स रसेल का है, जिसके साथ-साथ लुडविग विट्गेन्स्टाइन के हाथ में भौतिक निहितार्थ के लिए मैट्रिक्स है। यह दिखाया गया है कि 1893 में पियर्स द्वारा रचित एक अप्रकाशित पांडुलिपि में एक सत्य तालिका मैट्रिक्स शामिल है जो जॉन शोस्की द्वारा खोजे गए भौतिक निहितार्थ के मैट्रिक्स के बराबर है। पीयरस द्वारा एक अप्रकाशित पांडुलिपि की पहचान 1883-84 में पीयरस ऑन द एलजेब्रा ऑफ लॉजिक: ए कंट्रीब्यूशन टू द फिलॉसफी ऑफ नोटेशन की रचना के संबंध में की गई थी, जो 1885 में [[अमेरिकन जर्नल ऑफ मैथमेटिक्स]] में छपी थी, जिसमें अप्रत्यक्ष का एक उदाहरण शामिल है। सशर्त के लिए सत्य तालिका। </ब्लॉककोट>
+<blockquote> 1997 में, जॉन शॉस्की ने [[बर्ट्रेंड रसेल]] के 1912 के लेक्चर ऑफ़ द फिलॉसफी ऑफ़ तर्कल एटमिज़्म ट्रूथ टेबल आव्यूह के लिखे गए प्रतिलेख के एक पृष्ठ के शीर्ष पर खोजा। निषेध का आव्यूह रसेल का है, जिसके साथ-साथ लुडविग विट्गेन्स्टाइन के हाथ में भौतिक निहितार्थ के लिए आव्यूह है। यह दिखाया गया है कि 1893 में पियर्स द्वारा रचित एक अप्रकाशित हस्तलेख में एक ट्रुथ टेबल आव्यूह सम्मिलित है जो जॉन शोस्की द्वारा खोजे गए भौतिक निहितार्थ के आव्यूह के बराबर है। पीयरस द्वारा एक अप्रकाशित हस्तलेख की तत्समक 1883-84 में पीयरस ऑन द एलजेब्रा ऑफ तर्क: ए कंट्रीब्यूशन टू द फिलॉसफी ऑफ नोटेशन की रचना के संबंध में की गई थी, जो 1885 में [[अमेरिकन जर्नल ऑफ मैथमेटिक्स]] में छपी थी, जिसमें अप्रत्यक्ष का एक उदाहरण सम्मिलित है।
 == यह भी देखें ==
 {{Portal|Philosophy|Psychology}}
 {{div col|colwidth=20em}}
-* [[बूलियन डोमेन]]
+* [[बूलियन कार्यक्षेत्र]]
-* [[बूलियन-मूल्यवान फ़ंक्शन]]
+* [[बूलियन-मूल्यवान फलन]]
 * प्रकाशन
 * [[उत्तेजना तालिका]]
 * [[पहले क्रम का तर्क]]
 * [[कार्यात्मक पूर्णता]]
-* [[कर्णघ मानचित्र]]
+* [[कर्णघ प्रतिचित्र]]
-* लॉजिक गेट
+* तर्क गेट
 * [[तार्किक संयोजक]]
 * [[तार्किक ग्राफ]]
-* [[विश्लेषणात्मक झांकी की विधि]]
+* [[विश्लेषणात्मक तालिका की विधि]]
 * प्रस्तावक कलन
-* सत्य समारोह
+* सत्य फलन
 {{div col end}}
@@ Line 618: / Line 632: @@
 {{Commons category|Truth tables}}
 * {{springer|title=Truth table|id=p/t094370}}
-*[http://sites.millersville.edu/bikenaga/math-proof/truth-tables/truth-tables.html Truth Tables, Tautologies, and Logical Equivalence]
+*[http://sites.millersville.edu/bikenaga/math-proof/truth-tables/truth-tables.html Truth Tables, Tautologies, and तार्किक समतुल्यता]
 *{{cite arXiv |title=Peirce's Truth-functional Analysis and the Origin of Truth Tables |eprint=1108.2429 |first=Irving H. |last=Anellis |date=2011|class=math.HO }}
 *[http://www.allaboutcircuits.com/vol_4/chpt_7/9.html Converting truth tables into Boolean expressions]
-{{Classical logic}}
+{{DEFAULTSORT:Truth Table}}
-{{Mathematical logic}}
-{{Authority control}}
-{{DEFAULTSORT:Truth Table}}[[Category: बूलियन बीजगणित]] [[Category: गणितीय तालिकाएँ]] [[Category: अर्थ विज्ञान]] [[Category: प्रस्तावक कलन]] [[Category: वैचारिक मॉडल]]
-[[Category: Machine Translated Page]]
+[[Category:Collapse templates|Truth Table]]
-[[Category:Created On 16/02/2023]]
+[[Category:Commons category link is locally defined|Truth Table]]
+[[Category:Created On 16/02/2023|Truth Table]]
+[[Category:Lua-based templates|Truth Table]]
+[[Category:Machine Translated Page|Truth Table]]
+[[Category:Multi-column templates|Truth Table]]
+[[Category:Navigational boxes| ]]
+[[Category:Navigational boxes without horizontal lists|Truth Table]]
+[[Category:Pages using div col with small parameter|Truth Table]]
+[[Category:Pages with empty portal template|Truth Table]]
+[[Category:Pages with script errors|Truth Table]]
+[[Category:Portal templates with redlinked portals|Truth Table]]
+[[Category:Short description with empty Wikidata description|Truth Table]]
+[[Category:Templates Vigyan Ready|Truth Table]]
+[[Category:Templates that add a tracking category|Truth Table]]
+[[Category:Templates that generate short descriptions|Truth Table]]
+[[Category:Templates using TemplateData|Truth Table]]
+[[Category:Templates using under-protected Lua modules|Truth Table]]
+[[Category:Wikipedia fully protected templates|Div col]]

Anonymous

Search

ट्रुथ टेबल: Difference between revisions

Latest revision as of 10:49, 24 February 2023

एकल संक्रियाएँ

तार्किक सत्य

तार्किक असत्य

तार्किक तत्समक

तार्किक निषेध

द्विआधारी संक्रियाएँ

सभी द्विआधारी तार्किक संक्रियकों के लिए ट्रुथ टेबल

कुंजी:

तार्किक संयोजन(AND)

तार्किक वियोजन(OR)

तार्किक निहितार्थ

तार्किक समानता

अनन्य वियोजन

तार्किक NAND

तार्किक NOR

ट्रुथ टेबल का आकार

अनुप्रयोग

सबसे अधिक उपयोग किए जाने वाले तार्किक संक्रियकों के लिए ट्रुथ टेबल

द्विआधारी संक्रियकों के लिए संघनित सत्य सारणी

डिजिटल तर्क में सत्य सारणी

डिजिटल इलेक्ट्रॉनिक्स में ट्रूथ टेबल के अनुप्रयोग

इतिहास

यह भी देखें

टिप्पणियाँ

संदर्भ

उद्धृत कार्य

बाहरी संबंध

Navigation

Wiki tools

Page tools

Other projects

Hidden categories