propositional calculus

  • 简体: 命题演算[信息科技]
  • 正體: 命題演算[計算機]
  • 正體: 命題演算[電子計算機]