تالار گفتمان مانشت

تعداد توابع ناهم ارز تولید شده توسط n متغیر گزاره ای چیست؟
مربوط به سوال 39 ص 19 گسسته پوران.
پاسخ کتاب برابر است با:
2^(2^n)
چرا؟

سلام. درنظر بگیرید که n متغیر داریم. با استفاده از این n متغیر میتونیم [tex]2^n[/tex] گزاره بسازیم.
هر تابع یک مجموعه ای از گزاره ها رو به درست و بقیه رو به نادرست نسبت میده. در یه تابع فرضی هر کدوم از گزاره ها دو حالت دارن که درست یا نادرست باشن. پس 2 به توان تعداد گزاره ها، تابع خواهیم داشت. یعنی [tex]2^2^n[/tex].