کلید کاندید رابطه و بکار گیری قوانین آرمستارنگ - نسخه‌ی قابل چاپ

کلید کاندید رابطه و بکار گیری قوانین آرمستارنگ - joyebright - 20 مهر ۱۳۹۴ ۰۴:۰۲ ق.ظ تو سوال ۱ با قرمز مشخص کردم ، می خواستم بدونم این وابستگی تابعی از کدوم قانون ارمسترانگ استفاده کرده . تو سوال ۳ هم چرا مجموعه بستاری xyz شده xyzqwv ، مگه تو f بهینه یا مینیمال شده حذف نشدند؟ با تشکر Sent from my SM-P601 using Tapatalk

RE: کلید کاندید رابطه و بکار گیری قوانین آرمستارنگ - Iranian Wizard - 23 خرداد ۱۳۹۵ ۰۸:۲۰ ب.ظ سلام.عکس صورت سوال رو دوباره اینجا آپلود کردم: پاسخ : سوال اول- پاسخ به اونایی که در سوال ۱ عکس ، با علامت سوال قرمز رنگ مشخص شده ) - *اثبات [tex]A_1A_2\: \longrightarrow\: A_4[/tex] : [tex]A_2\: \longrightarrow\: A_3A_4[/tex] ،در نتیجه طبق قاعده تجزیه [tex]A_2\: \longrightarrow\: A_3[/tex] و [tex]A_2\: \longrightarrow\: A_4[/tex] پس میتونیم نتیجه بگیریم که [tex]A_2\: \longrightarrow\: A_4[/tex] ،سپس طبق قاعده افزایشی، [tex]A_1A_2\: \longrightarrow\: A_1A_4[/tex] و سپس طبق قاعده تجزیه [tex]A_1A_2\: \longrightarrow\: A_4[/tex] - *اثبات [tex]A_1A_2\: \longrightarrow\: A_3[/tex] : [tex]A_2\: \longrightarrow\: A_3A_4[/tex] ،در نتیجه طبق قاعده تجزیه [tex]A_2\: \longrightarrow\: A_3[/tex] و [tex]A_2\: \longrightarrow\: A_4[/tex] پس میتونیم نتیجه بگیریم که [tex]A_2\: \longrightarrow\: A_3[/tex] ،سپس طبق قاعده افزایشی، [tex]A_1A_2\: \longrightarrow\: A_1A_3[/tex] و سپس طبق قاعده تجزیه [tex]A_1A_2\: \longrightarrow\: A_3[/tex] *اثبات [tex]A_4\: \longrightarrow\: A_3[/tex] : [tex]A_4\: \longrightarrow\: A_2[/tex] و با توجه به اثبات قبلی که [tex]A_2\: \longrightarrow\: A_3[/tex] ، در نتیجه طبق قاعده انتقالی [tex]A_4\: \longrightarrow\: A_3[/tex] ------------------------------------------------------------------------------------- سوال دوم-پاسخ به اینکه چرا [tex]\{xyz\}^+[/tex] ، برابر xyzqwv شده) [tex]\{xyz\}^+[/tex] یعنی همه‌ی خصیصه‌هایی که قابل استنتاج از اعضای [tex]\{xyz\}[/tex] یعنی y ، x و z هستند. که چون [tex]xyz\: \longrightarrow\: Q[/tex] و [tex]y\: \longrightarrow\: w[/tex] و [tex]y\: \longrightarrow\: v[/tex] ،در نتیجه: [tex]\{xyz\}^+\: =\: \{x\: ,\: y\: ,\: z\: ,\: Q\: ,\: w\: ,\: v\}[/tex]