جدول ارزش
در منطق، جدول ارزش یا جدول صحت یا جدول درستی (به انگلیسی: Truth table) به جدولی اطلاق میشود، که در آن درستی و نادرستی گزارهها درج گردد. منظور از درستی یا صدق در هر گزاره، مطابقت آن با واقع؛ و منظور از نادرستی یا کذب، عدم مطابقت آن با واقع است. هر گزارهٔ درست در این جدولها با «د» یا «T» یا «۱» و هر گزارهٔ نادرست با «ن» یا «F» یا «۰» نشان داده میشود.
عملگرهای یگانی (تک ورودی)
همانی
عملگر همانی ورودی را بدون تغییر به خروجی میبرد.
د | د |
ن | ن |
نقیض
نقیض، عملگری است که هرگاه قضیهای (گزارهای) صادق و درست باشد، آن را به قضیهای کاذب و نادرست تبدیل خواهد کرد. معمولاً نقیض گزارهٔ
د | ن |
ن | د |
عملگرهای دودویی
جدول درستی برای تمام توابع دودویی
در اینجا جدول عملگرهای دودویی برای ۱۶ تابع ممکن آمدهاست.
P | Q | F | NOR | Xq | p¬ | ↛ | q¬ | XOR | NAND | AND | XNOR | q | IF/Then | p | Then/IF | OR | T | |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
د | د | ن | ن | ن | ن | ن | ن | ن | ن | د | د | د | د | د | د | د | د | |
د | ن | ن | ن | ن | ن | د | د | د | د | ن | ن | ن | ن | د | د | د | د | |
ن | د | ن | ن | د | د | ن | ن | د | د | ن | ن | د | د | ن | ن | د | د | |
ن | ن | ن | د | ن | د | ن | د | ن | د | ن | د | ن | د | ن | د | ن | د |
کلید:
نام عملگر | ||||
---|---|---|---|---|
0 | Opq | F | false | تناقض |
1 | Xpq | NOR | ↓ | نقیض فصلی |
2 | Mpq | Xq | Converse nonimplication | |
3 | Fpq | Np | p¬ | نقیض |
4 | Lpq | Xp | ↛ | Material nonimplication |
5 | Gpq | Nq | q¬ | نقیض |
6 | Jpq | XOR | ⊕ | ترکیب فصلی ضمنی |
7 | Dpq | NAND | ↑ | نقیض عطفی |
8 | Kpq | AND | ∧ | ترکیب عطفی |
9 | Epq | XNOR | اگر و تنها اگر | نقیض فصلی ضمنی |
10 | Hpq | q | Projection function | |
11 | Cpq | XNp | if/then | ترکیب شرطی |
12 | Ipq | p | Projection function | |
13 | Bpq | XNq | then/if | ترکیب دوشرطی |
14 | Apq | OR | ∨ | ترکیب فصلی |
15 | Vpq | T | true | راستگو |
ترکیب عطفی (AND)
عملگری است که در آن دو قضیه به وسیلهٔ حرف عطف «و» باهم ترکیب میشوند. قضیهٔ حاصل از ترکیب عطفی درست خواهد بود؛ اگر و فقط اگر هر دوی قضایای ساده تشکیلدهندهٔ آن درست باشند. ترکیب عطفی
د | د | د |
د | ن | ن |
ن | د | ن |
ن | ن | ن |
اگر هر دوی
ترکیب فصلی (OR)
هرگاه دو قضیهٔ حملی ساده را با حرف «یا» ترکیب کنیم، قضیهٔ مرکب تشکیل شده را ترکیب فصلی مینامند. تنها وقتی قضیهٔ حاصل از ترکیب فصلی، نادرست خواهد بود که هر دو قضیهٔ تشکیلدهنده آن نادرست باشد. ترکیب فصلی را بهصورت «
د | د | د |
د | ن | د |
ن | د | د |
ن | ن | ن |
ترکیب شرطی (IF)
در ترکیب شرطی به صدق قضیهٔ دوم در فرض صدق قضیهٔ اول و کذب قضیهٔ دوم حکم میشود. در ترکیب شرطی، قضیهٔ اول را مقدم و قضیهٔ دوم را تالی میگویند. ترکیب شرطی بهصورت «
د | د | د |
د | ن | ن |
ن | د | د |
ن | ن | د |
ترکیب دو شرطی (IF AND ONLY IF)
ترکیب دوشرطی برابری منطقی است و از دو ترکیب شرطی تشکیل میشود، که مقدم و تالی یکی از آنها، به ترتیب مقدم و تالی دیگری باشد. ارزش ترکیب دوشرطی درست خواهد بود، اگر و فقط اگر، هر دو قضیهٔ تشکیلدهندهٔ ترکیب دوشرطی صادق یا کاذب باشند. ترکیب دوشرطی نوشته میشود:
د | د | د |
د | ن | ن |
ن | د | ن |
ن | ن | د |
ترکیب فصلی ضمنی (XOR)
در ترکیب فصلی ضمنی، ارزش دو گزاره درست خواهد بود، اگر و فقط اگر یکی از اجزای آن درست باشد، و نه هر دوی آن. ترکیب فصلی ضمنی را با علامت
د | د | ن |
د | ن | د |
ن | د | د |
ن | ن | ن |
عملگر NAND
این عملگر دو عملوند دارد و فقط در حالتی نادرست است که هر دو عملوند درست باشند.
آن را با
د | د | ن |
د | ن | د |
ن | د | د |
ن | ن | د |
این عملگر هم ارز با (p ∧ q)¬ و (p) ∨ (¬q¬) است.
p | q | p ∧ q | (p ∧ q)¬ | p¬ | q¬ | (p) ∨ (¬q¬) |
---|---|---|---|---|---|---|
د | د | د | ن | ن | ن | ن |
د | ن | ن | د | ن | د | د |
ن | د | ن | د | د | ن | د |
ن | ن | ن | د | د | د | د |
عملگر NOR
عملگر NOR دو عملوند دارد و فقط در حالتی درست است که هر دو عملوند نادرست باشند. آن را با ↓ نشان میدهند.
p | q | p ↓ q |
---|---|---|
د | د | ن |
د | ن | ن |
ن | د | ن |
ن | ن | د |
این عملگر با (p ∨ q)¬ و (p) ∧ (¬q¬) همارز است.
p | q | p ∨ q | (p ∨ q)¬ | p¬ | q¬ | (p) ∧ (¬q¬) |
---|---|---|---|---|---|---|
د | د | د | ن | ن | ن | ن |
د | ن | د | ن | ن | د | ن |
ن | د | د | ن | د | ن | ن |
ن | ن | ن | د | د | د | د |
کاربرهای جدول درستی
از جدول درستی میتوان برای اثبات روابط منطقی استفاده کرد؛ مثلاً:
p | q | p¬ | p ∨ q¬ | p → q |
---|---|---|---|---|
د | د | ن | د | د |
د | ن | ن | ن | ن |
ن | د | د | د | د |
ن | ن | د | د | د |
جدول درستی برای توابع پرکاربرد
در زیر جدول درستی برای ۶ تابع پرکاربرد آمدهاست.
د | د | د | د | ن | د | د | د | د |
د | ن | ن | د | د | ن | ن | د | ن |
ن | د | ن | د | د | ن | د | ن | ن |
ن | ن | ن | ن | ن | د | د | د | د |
کاربرد جدول درستی در مدارهای منطقی
در مدارهای منطقی از جدول درستی استفاده میکنند تا ارتباط ورودی و خروجیها را بهطور خلاصه و بدون استفاده از دروازهها و کد نشان دهند. برای مثال، جدول درستی برای جمع دو عدد باینری یک بیتی در زیر آمدهاست:
A B | C R ۱ ۱ | ۱ ۰ ۱ ۰ | ۰ ۱ ۰ ۱ | ۰ ۱ ۰ ۰ | ۰ ۰ دراینجا A = عملوند اول B = عملوند دوم C = نقلی (Carry) R = جواب
توجه کنید که این جدول توابع لازم برای پیادهسازی را نشان نمیدهد و فقط ارتباط ورودی و خروجی را مشخص میکند.
در این حالت میتوان آن را فقط برای ورودیهای ساده و خروجی مانند ۱ و ۰ استفاده کرد و با افزایش تعداد ورودی و خروجی، اندازهٔ جدول افزایش مییابد.
مثال بالا را یک نیم جمعکننده مینامند. یک تمام جمعکننده علاوه بر ورودیهای بالا، یک نقلی ورودی *C نیز دارد. جدول درستی آن بهصورت زیر است:
A B C* | C R ۰ ۰ ۰ | ۰ ۰ ۰ ۱ ۰ | ۰ ۱ ۱ ۰ ۰ | ۰ ۱ ۱ ۱ ۰ | ۱ ۰ ۰ ۰ ۱ | ۰ ۱ ۰ ۱ ۱ | ۱ ۰ ۱ ۰ ۱ | ۱ ۰ ۱ ۱ ۱ | ۱ ۱ C* = زقم نقلی وروردی
جستارهای وابسته
منابع
- ریاضیات گسسته و کاربردهای آن (انگلیسی)