MethyLogic: Implementation of Boolean logic using DNA methylation

Nevenka Dimitrova, Susannah Gal

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations


The MethyLogic method performs flexible and reversible modification of DNA in order to establish the logical value of true or false for a set of clauses. It combines both the biological meaning and experimental procedure with the logical implementation of the basic Boolean operators: OR, AND, and NOT. The original feature of methylation logic, MethyLogic, is the use of the reversibility of DNA methylation of cytosine and adenine. Logic variables can be negated by reversing the DNA methylation status. We introduce four implementation scenarios: three of them use methyl-sensitive restriction enzymes and the fourth uses methyl-binding proteins. Encoding can use either single or double-stranded DNA. In addition, we show how to solve a three variable SAT problem and how to implement a logic circuit.

Original languageEnglish (US)
Title of host publicationDNA Computing - 12th International Meeting on DNA Computing, DNA12, Revised Selected Papers
Number of pages14
StatePublished - 2006
Event12th International Meeting on DNA Computing, DNA12 - Seoul, Korea, Republic of
Duration: Jun 5 2006Jun 9 2006

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4287 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other12th International Meeting on DNA Computing, DNA12
Country/TerritoryKorea, Republic of

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'MethyLogic: Implementation of Boolean logic using DNA methylation'. Together they form a unique fingerprint.

Cite this