The Laws of Natural Deduction in Inference by DNA Computer

Figure 8

The reaction for a and the question a?