解释一下充分必要条件：猫和四条腿就是充要条件，正常的猫一定有四条腿，但有四条腿的不一定是猫