a1和a2的检查效果完全一样：

错误，选择B。p1使用非重叠蕴含|=>，含义为a成立后下一个时钟周期b必须成立，而b成立后下一个时钟周期c必须成立，因此序列时序为：a在T0，b在T1，c在T2。p2使用重叠蕴含|->，前提序列a##1b在T0的a和T1的b匹配后，要求c在前提序列结束的同一时钟周期（即T1）成立，故c与b同周期。两者对c的检查时刻不同，检查效果不等价。