简单析取式为永真式的充要条件
发布人