شهود منطق: متغیر، گزاره و ترتیب عملیات

متغیر و عبارت

ترتیب عملیات مهم است

همان‌طور که در حساب اول ضرب بعد جمع انجام می‌شود، در منطق هم عملگرها اولویت دارند:

1. پرانتز — هر چه داخل پرانتز است اول.
2. NOT (نقیض) — مثل علامت منفی، به نزدیک‌ترین چیز می‌چسبد.
3. AND (ضرب منطقی) — مثل ضرب معمولی.
4. OR (جمع منطقی) — مثل جمع معمولی، آخر از همه.

پس $A+B\cdot C$ یعنی $A+(B\cdot C)$، نه $(A+B)\cdot C$. هر وقت مطمئن نیستی، پرانتز بگذار؛ پرانتز اضافه هیچ‌وقت غلط نیست.

گزارهٔ درست یا نادرست

«کلید وصل است» یک گزاره است (یا درست است یا نادرست). اما «چه هوای خوبی!» گزاره نیست، چون ارزش درستی مشخصی ندارد. کل جبر بول روی همین ایده سوار است: هر متغیر یک گزاره است و هر مدار، ترکیب گزاره‌هاست.

جدول خواندن را تمرین کن

در این دوره زیاد با جدول درستی (Truth Table) روبه‌رو می‌شوی: جدولی که به‌ازای همهٔ ترکیب‌های ورودی، خروجی را نشان می‌دهد. خواندنش ساده است — هر سطر یک «دنیای ممکن» است:

سطر دوم را این‌طور بخوان: «اگر A نادرست و B درست باشد، آن‌وقت A یا B درست است.» همین جمله‌خوانی ساده، بعداً کلید فهم جدول‌های حالت در فصل ۵ می‌شود.