Construction of Complex Logic Circuit Based on DNA Logic Gate AND and OR.

Mengyang Hu Luhui Wang Sunfan Xi Rong Liu Yafei Dong

Published in: BIC-TA (1) (2021)

Keyphrases

digital circuits
logic synthesis
logic programming
multi valued
logical framework
delay insensitive
automated reasoning
classical logic
asynchronous circuits
proof theory
high speed
logic programs
predicate logic
logic circuits
nm technology
sound and complete axiomatization