and با مشقت
توابع باینری eq و not به صورت زیر تعریف میشوند: eq(x,y)=1 اگر و فقط اگر x=y و not(x)=1−x.
n متغیر باینری x1,…,xn را در نظر بگیرید، آیا میتوان تابع g(x1,…,xn) را به صورت ترکیبی از توابع eq و not روی xi ها طوری تعریف کرد که به ازای تمامی مقادیر xiها داشته باشیم: g(x1,…,xn)=x1∗…∗xn