A:b−a−c
B:a+c−b
C:a+b+c
D:b−a+c
①对于命题p:∃x∈R,使得x2+x﹣1<0,则¬p:∀x∈R,均有x2+x﹣1>0;
②p是q的必要不充分条件,则¬p是¬q的充分不必要条件;
③命题“若x=y,则sinx=siny”的逆否命题为真命题;
④“m=﹣1”是“直线l1:mx+(2m﹣1)y+1=0与直线l2:3x+my+3=0垂直”的充要条件.