Jump to main content
Jump to site search
PLANNED MAINTENANCE Close the message box

Scheduled maintenance upgrade on Thursday 4th of May 2017 from 8.00am to 9.00am (BST).

During this time our websites will be offline temporarily. If you have any questions please use the feedback button on this page. We apologise for any inconvenience this might cause and thank you for your patience.


Issue 10, 2012
Previous Article Next Article

Biomolecular theorem proving on a chip: a novel microfluidic solution to a classical logic problem

Author affiliations

Abstract

Biomolecules inside a microfluidic system can be used to solve computational problems, such as theorem proving, which is an important class of logical reasoning problems. In this article, the Boolean variables (literals) were represented using single-stranded DNA molecules, and theorem proving was performed by the hybridization and ligation of these variables into a double-stranded “solution” DNA. Then, a novel sequential reaction mixing method in a microfluidic chip was designed to solve a theorem proving problem, where a reaction loop and three additional chambers were integrated and controlled by pneumatic valves. DNA hybridization, ligation, toehold-mediated DNA strand displacement, exonuclease I digestion, and fluorescence detection of the double-stranded DNA were sequentially performed using this platform. Depending on the computational result, detection of the correct answer was demonstrated based on the presence of a fluorescence signal. This result is the first demonstration that microfluidics can be used to facilitate DNA-based logical inference.

Graphical abstract: Biomolecular theorem proving on a chip: a novel microfluidic solution to a classical logic problem

Back to tab navigation
Please wait while Download options loads

Supplementary files

Publication details

The article was received on 23 Jul 2011, accepted on 24 Feb 2012 and first published on 22 Mar 2012


Article type: Paper
DOI: 10.1039/C2LC20677C
Citation: Lab Chip, 2012,12, 1841-1848
  •   Request permissions

    Biomolecular theorem proving on a chip: a novel microfluidic solution to a classical logic problem

    S. H. Lee, D. van Noort, K. Yang, I. Lee, B. Zhang and T. H. Park, Lab Chip, 2012, 12, 1841
    DOI: 10.1039/C2LC20677C

Search articles by author