فرمول‌ها

فرمول ارزش مکانی برای مبنای ۲: هر بیت یک را در وزن جایگاهش ضرب و جمع کن.

روش تقسیم‌های پیاپی: باقی‌مانده‌ها را از آخر به اول بخوان تا معادل دودویی به دست آید.

قانون معکوس‌کردن بیت‌ها برای مکمل یک، همراه خاصیت جمع صفرشونده.

قانون مکمل دو و رابطهٔ تفریق با جمع: A منهای B برابر A به‌علاوهٔ مکمل دوی B است.

کمترین و بیشترین عدد قابل‌نمایش با n بیت علامت‌دار و قانون تشخیص سرریز.

دو قانون دمورگان برای شکستن نقیض روی AND و OR، با شکل چندمتغیره و کاربرد در پیاده‌سازی NAND/NOR.

جذب، حذف، پوشش و توزیع‌پذیری دوم؛ چهار ابزاری که بیشتر ساده‌سازی‌ها با آن‌ها انجام می‌شود.

هر تابع برابر جمع مین‌ترم‌های سطرهای یک آن است؛ با نماد سیگما و مثال سه‌متغیره.

هر تابع برابر ضرب ماکس‌ترم‌های سطرهای صفر آن است؛ با نماد پی و مثال.

اندازه‌های مجاز گروه، رابطهٔ اندازه با تعداد لیترال‌های حذف‌شده و قانون خواندن جمله از گروه.

تعریف جبری XOR و XNOR و خاصیت‌های عبور و نقیض کنترل‌شده که در جمع‌کننده و مقایسه‌گر به کار می‌روند.

فرمول جمع و نقلی تمام‌جمع‌کننده با شهود XOR سه‌تایی و رأی اکثریت.

فرمول خروجی MUX دوتایی و الگوی تعمیم آن به MUXهای بزرگ‌تر.

چرا و کی به جمع BCD شش واحد اضافه می‌کنیم: شرط نقلی یا بزرگ‌تر بودن از ۹.

معادلهٔ حالت بعدی فلیپ‌فلاپ SR و شرط ممنوعه بودن ترکیب ۱۱.

معادلهٔ حالت بعدی فلیپ‌فلاپ JK و رفتار تاگل در ورودی ۱۱.

حالت بعدی فلیپ‌فلاپ D برابر ورودی است؛ پایهٔ طراحی‌های دستی اول.

معادلهٔ حالت بعدی فلیپ‌فلاپ T و نقش آن در شمارنده‌ها.

قالب کلی معادله‌های حالت در تحلیل: حالت بعدی هر فلیپ‌فلاپ و خروجی مدار بر حسب ورودی و حالت فعلی.