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

دو فرمول زیر در منطق گزاره‌ها را درنظر بگیرید:

$\alpha \equiv \neg A_1 \wedge A_2 \wedge (\neg A_2 \vee A_3) \wedge (A_1 \vee \neg A_2 \vee A_3)$ $\beta \equiv A_2 \wedge (\neg A_3 \vee A_1) \wedge (\neg A_1 \vee A_3) \wedge (\neg A_1) \wedge (\neg A_2 \vee A_3)$

برای کدام فرمول یک ارزش‌دهی به اتم‌ها وجود دارد که در آن ارزش‌گذاری، فرمول ارزش درست پیدا کند؟