设A，B都是命题公式，则A→B为可满足式是AÞB的A必要而非充分条件B既非充分又非必要条件C充分而非必要条件D充分必要条件