x≠0,则xy≠0不一定成立
因为可能y=0
不是充分
而xy≠0,则一定有x≠0
所以是必要非充分条件