A合取→析取→蕴含→等价→否定B否定→合取→析取→等价→蕴含C合取→析取→否定→蕴含→等价D否定→合取→析取→蕴含→等价