تعداد توابع ارزشدهی f: x_۱,…,x_۵ → درست، نادرست که ارزش گزاره زیر را «درست» میکند چند است؟ ( ~ x_i یعنی نقیض گزاره اتمی x_i ) (x_۱ ∨ (~ x_۲) ∨ x_۳) ∧ (x_۱ ∨ (~ x_۲) ∨ (~ x_۴)) ∧ (x_۱ ∨ (~ x_۲) ∨ (~ x_۵))

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

اهمیت

۰/۵

تعداد توابع ارزش‌دهی $f:\{x_۱,\ldots,x_۵\}\to\{\text{درست، نادرست}\}$ که ارزش گزاره زیر را «درست» می‌کند چند است؟ ( $\sim x_i$ یعنی نقیض گزاره اتمی $x_i$ )

$(x_۱ \vee (\sim x_۲) \vee x_۳) \wedge (x_۱ \vee (\sim x_۲) \vee (\sim x_۴)) \wedge (x_۱ \vee (\sim x_۲) \vee (\sim x_۵))$

#propositional-logic#cnf#truth-table#counting#satisfiability#clauses