急急急！数理逻辑公式怎么匹配？

Question

    这是一道数理逻辑得证明题（假设是学生的答案），正确答案存在系统中，我想要将学生的答案和系统中的答案匹配，应该怎么弄啊？求高人指点？？？？？？
证：
1) A→(B→C),A→B,A|-A                      
2) A→(B→C),A→B,A|- A→(B→C)               
3) A→(B→C),A→B,A|- A→B                    
4) A→(B→C),A→B,A|- B→C              
5) A→(B→C),A→B,A|- B                
6) A→(B→C),A→B,A|- C                  
4) A→(B→C),A→B|-A→C                   

Answer 1

[Quote=引用 2 楼 mjp1234airen4385 的回复:]
不会。
要不你在说的清楚点？
[/Quo
  哎呦，终于来人了~呵呵
  就是拿学生答案与正确答案进行比较从而给出得分，只不过是想用计算机实现~~~~

Answer 2

学生答案
1) A→(B→C),A→B,A|-A   
2) A→(B→C),A→B,A|- A→(B→C)   
3) A→(B→C),A→B,A|- A→B   
4) A→(B→C),A→B,A|- B→C   
5) A→(B→C),A→B,A|- B   学生答案千奇百怪  如果用数组存储 大小也不确定，只能动态数组存。我想用两个数组存储之后遍历，不知道这样行不？
跪求高人指点方法，还有代码？？？泪奔中谢谢