用逻辑推演下式(AAB)→C,-D -CvD = -Av-B