فرض کن تعداد اعضای مجموعه x برابر با ۲ باشه. اسم عضو اول رو بذار x و دومی رو بذار y. فرض کن عملکر دودویی هم عملگر and باشه (همون and مدار منطقی). یک جدول مثل جدول درستی بکش و به x و y مقادیر true و false نسبت بده ( دقیقا به همون روشی که جدول درستی پر میشه). وقتی n متغیر وجود داره پس تعداد سطرهای جدول درستی برابر با n^2 هستش. در اینجا چون n برابر با ۲ هست پس این جدول دارای ۲^۲ سطر هستش. هر کدوم از این سطرها میتونه مقدار true یا false بگیره (یعنی هر سطر میتونه ۲ مقدار مختلف رو بگیره). حالا طبق اصل ضرب تعداد حالات مختلفی که میشه مقادیر true و false رو به این ۴ سطر نسبت داد برابره با ۲*۲*۲*۲ که همون ۲ به توان ۴ هستش. خود ۴ هم که ۲ به توان ۲ هستش و این یعنی [tex]2^{(2^2)}[/tex]