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

اهمیت

۰/۵

تابع منطقی $f = (p_1 \oplus p_2 \oplus p_3 \oplus p_4) \vee (p_5 \oplus p_6 \oplus p_7 \oplus p_8)$ از ۸ گزاره اتمی مستقل $p_1$ تا $p_8$ تشکیل شده است. چند تابع مثل $g$ می‌توان با این ۸ گزاره اتمی ساخت به‌نحوی که $f \to g$ تاتولوژی باشد؟

#propositional-logic#tautology#implication#boolean-function-counting#xor-parity

Setup