فرض کنید A(p,q,r) یک گزاره باشد که در آن تنها از سه متغیر اتمی p و q و r استفاده شده و میدانیم (p → (q → r)) → A همانگو (راستگو، صادق) است. حداکثر چند گزارهٔ غیرمعادل A میتواند باشد؟

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

اهمیت

۰/۵

فرض کنید $A(p,q,r)$ یک گزاره باشد که در آن تنها از سه متغیر اتمی $p$ و $q$ و $r$ استفاده شده و می‌دانیم $(p \to (q \to r)) \to A$ همانگو (راستگو، صادق) است. حداکثر چند گزارهٔ غیرمعادل $A$ می‌تواند باشد؟

#propositional-logic#tautology#logical-equivalence#truth-table#implication#counting

Setting up the constraint