首先研究可满足性问题，报告了DNA计算关于可满足性问题的研究现状；然后介绍了微流路芯片高压凝胶电泳，给出了解决可满足性问题的解法；最后通过实例验证了算法的可行性。给出的算法操作简单、出错率低。算法只需要芯片电泳，不需要构造探针，也不需要荧光标记。对解决其他NP问题具有很好的借鉴意义。