Post's criterion for a single operation. Let f:{0,1}^n rightarrow {0,1} be a logical function. Show that the signature ⟨f⟩ is complete if and only if f does not lie in T_0, T_1 and S.

honigtropfenvi

honigtropfenvi

Answered question

2022-09-06

Post's criterion for a single operation
Let f : { 0 , 1 } n { 0 , 1 } be a logical function. Show that the signature ⟨f⟩ is complete if and only if f does not lie in T 0 , T 1 and S.
The arrow from the left to the right is evident due to Post's criterion. From the right to the left is harder: I could deduced if f ( 0 , . . . , 0 ) = 1 and f ( 1 , . . , 1 ) = 0 then f is not monotonous. It would be enough to prove that f is not in L but I don't know how.

Answer & Explanation

Raina Russo

Raina Russo

Beginner2022-09-07Added 20 answers

Step 1
Proof by contradiction. Suppose that f L .. Then f = j = 1 k x i j ε ,, where { i 1 , , i k } { 1 , , n } , i 1 < < i k and ε { 0 , 1 } ..
As you've noticed, f ( 0 , , 0 ) = 1. This implies ε = 1.. Since f ( 1 , , 1 ) = 0 ,, the number of monomials of first degree k is odd, i.e. k = 2 l + 1. Now we prove the following lemma:
Lemma. i = 1 2 l + 1 x i ε S .
Proof. Let ( δ 1 , , δ 2 l + 1 ) { 0 , 1 } 2 l + 1 .. Then
f ( δ 1 , , δ 2 l + 1 ) = δ i = 1 2 l + 1 δ i + ε mod 2
and
f ( 1 δ 1 , , 1 δ 2 l + 1 ) = δ i = 1 2 l + 1 ( 1 δ i ) + ε mod 2.
Step 2
Sum these two equalities:
δ + δ i = 1 2 l + 1 ( δ i + 1 δ i ) + 2 ε mod 2.
But i = 1 2 l + 1 ( δ i + 1 δ i ) + 2 ε = 2 l + 1 + 2 ε 1 mod 2.. So, δ δ for each ( δ 1 , , δ 2 l + 1 ) and f S .
The contradiction. We obtain f L ..

Do you have a similar question?

Recalculate according to your conditions!

New Questions in Discrete math

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?