توابع باینری $eq$ و $not$ به صورت زیر تعریف می‌شوند: $eq(x,y)=1$ اگر و فقط اگر $x=y$ و $not(x)=1-x$.

$n$ متغیر باینری $x_1,…,x_n$ را در نظر بگیرید، آیا می‌توان تابع $g(x_1,…,x_n)$ را به صورت ترکیبی از توابع $eq$ و $not$ روی $x_i$ ها طوری تعریف کرد که به ازای تمامی مقادیر $x_i$ها داشته باشیم: $g(x_1,…,x_n)=x_1 *…* x_n$

• سوال بعد
• سوال قبل