Logical Reasoning Based on DNA Strand Displacement

Abstract

A computational model for logical reasoning is proposed based on DNA strand displacement reactions.Firstly,this way does not rely on fluorescent labeling or other DNA experimental technique.The corresponding relationship between the concentration change of DNA strand and the value of Boolean logic signal is realized by building up a special 0-1 function and using less DNA reaction strands and strand displacement reactions as possible as we can.Then the calculation models of basic logical operations "and" "or" "not" are designed based on DNA strand displacement.Furthermore,the basic logical operations can be combined arbitrarily in use of the cascading property of DNA strand displacement,so as to solve different logical reasoning problems.Finally,the feasible solution of satisfiability problem,which is a special logical reasoning problem,is implemented through the simulation.All the DNA strand displacement reaction processes and the concentration changes of related DNA chains can be simulated by the Visual DSD software.

Keywords

• dna strand displacement|logical reasoning|boolean logic signal|visual dsd