求教 verilog程序问题

请问各路大神  ，这两句话该怎么理解啊?这是特权上面的一个按键 消抖的程序。
wire key_neg = ~keyr[2] & keyr[3];        //有按键被按下       
wire key_pos = keyr[2] & ~keyr[3];        //有按键被释放

检测到下降沿，说明按键被按下；检测到上升沿，说明按键被释放

这是在检测上升沿和下降沿，分别检测寄存器前后两个状态，检测上升沿是将前一个状态取反后与后一个状态相与，同理检测下降沿是操作相反就行。

那两句只是在描述上升沿和下降沿