In reply to hisingh:
For [Q1].,
Without ##0 , it is meaning as @(posedge clk) and @(negedge clk) at same time , which seems like contradiction statement.
For [Q2].,
Last edge in the anticedent decides when the consequent should be evaluted in assosiation with implication operator.