×

Possible non-traditional methods for establishing satisfiability of propositional formulas. (Russian) Zbl 0652.03005

Let \(f(x_ 1,x_ 2,...,x_ n)\) be a truth function, we shall use also the notations \(z_ 1,z_ 2,...,z_{2n}\) for \(x_ 1,x_ 2,...,x_ n,\bar x_ 1,\bar x_ 2,...,\bar x_ n\), resp. Suppose that f is expressed by the formula \[ (y_{11}\vee y_{12}\vee y_{13})\&(y_{21}\vee y_{22}\vee y_{23})\&...\&(y_{m1}\vee y_{m2}\vee y_{m3}), \] where any of the \(y_{ij}'s\) is one of the \(z_ k's.\)
The author proposes the idea of using three kinds of physical methods for analyzing the formula above. He thinks rather of simulation of the processes by differential equations than of effective performance of them. The first method (“in vitro”) uses a solution, containing 2n dissolved substances, capable to precipitation. The second method (“creation of the world”) uses atoms in the universe so that there are attractive and repulsive forces among them. The third method (“resonance”) uses pendula, influencing the swinging of each other.
Reviewer: A.Ádám

MSC:

03B05 Classical propositional logic
PDFBibTeX XMLCite