c 对于输入任意的命题公式,输出其真值表

  • 2024-10-07