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

  • 2024-11-06