البوابات والمنطق البولياني
جداول حقيقة بسيطة تصبح دارات اختيار وجمع وتحكم.
يمكن بناء كل قرار منطقي في الحاسوب من نوع واحد من البوابات.
لبنة منطقية عامة.
ابنِ قرارًا
| A | B | XOR |
|---|---|---|
| ٠ | ٠ | ٠ |
| ٠ | ١ | ١ |
| ١ | ٠ | ١ |
| ١ | ١ | ٠ |
يمكن بناء أي دالة منطقية من NAND. تركيب البوابات الصغيرة يصنع دارات اختيار وجمع وتحكم.
حدود هذا النموذج
منطق بولياني مثالي. لا يحاكي التوقيت الكهربائي والضجيج.
ما الذي يحدث في الداخل
من المدخلات إلى الخرج
تخرج AND واحدًا حين يكون المدخلان واحدًا. تحتاج OR واحدًا على الأقل. تكشف XOR اختلاف المدخلين، وتعكس NOT بتًا. تعكس NAND نتيجة AND، ويمكن تركيبها للتعبير عن أي دالة منطقية.
الاختيار والتركيب
يختار المبدّل دخلًا باستخدام بتات اختيار. يفعّل مفكك الترميز خطًا حسب رمز الدخل. يجمع الجامع الكامل بتين وحملًا؛ وربط إشارات الحمل يصنع جامعًا أوسع. يمكن تقصير مسار الحمل بدارات أعقد على حساب المساحة والطاقة.
sum = A XOR B XOR carry_inما أثر ذلك في برنامجك
مهندس الأنظمة والعتاد
جدول الحقيقة يصف السلوك المستقر. يظل تأخر الانتشار والنبض العابر مهمين. تقلل أدوات التركيب المنطق ضمن قيود الزمن والمساحة والطاقة.
مطوّر البرمجيات
الأقنعة والأعلام والاختيار دون فروع تتبع القواعد نفسها. إلغاء الفروع مفيد حين تثبته القياسات، وليس أسرع دائمًا.
اقرأ المواصفات الأصلية
توضح هذه المراجع العقود الأساسية وتفاصيل التنفيذ. الرسومات هنا نماذج تعليمية مبسطة.