The Laws of Natural Deduction in Inference by DNA Computer

Figure 3

The reaction of inconsistency.