KonkurStudy

سوال ۹۹ کنکور ارشد علوم کامپیوتر ۱۴۰۴

اهمیت
۰/۵

فرض کنید رابط گزاره‌ای ∗* با جدول ارزش زیر داده شده است.

ABA * B
۱۱۰
۱۰۱
۰۱۱
۰۰۱

یک مجموعه از رابط‌های گزاره‌ای را کامل گوییم، هرگاه هر فرمول در منطق گزاره‌ها دارای معادلی باشد که فقط از رابط‌های آن مجموعه استفاده کرده باشد. در بین A∘={∗} ,  A1={¬,→} ,  A2={∧,∨}A_\circ = \{*\}\,,\; A_1 = \{\neg, \to\}\,,\; A_2 = \{\land, \lor\}، چند مجموعه کامل از رابطه‌های گزاره‌ای، وجود دارد؟

#functional-completeness#nand#sheffer-stroke#truth-functions#connectives#propositional-logic