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

اگر $P(x)$ و $Q(x)$ دو گزاره‌نما باشند، کدام عبارت منطقی زیر همیشه درست است؟

(الف) $\big[\exists x(P(x)\land Q(x))\big] \leftrightarrow \big[(\exists xP(x))\land(\exists xQ(x))\big]$

(ب) $\big[\forall x(P(x)\to Q(x))\big] \to \big[(\exists xP(x))\to(\forall xQ(x))\big]$