О поиске простых чисел логически

[hazzo]

Возможен ли общий вид КНФ (конъюнктивной нормальной формы), выполняющие наборы которой простые числа?

Любое натуральное число z можно представить в виде z=xy. В двоичном представлении z_1z_2z_3 \cdots z_n = x_1x_2x_3 \cdots x_n \times y_1y_2y_3 \cdots y_n.
n - количество двоичных разрядов числа.