prenex-disjunctive normal form

  1. 前束析取范式

网络词典

prenex-disjunctive normal form

英 priːnɛks-dɪˈsʌŋktɪv əʊ 美 priːnɛks-dɪˈsʌŋktɪv əʊ
中文翻译:前束式否定正常形式
同义词: ['前束式否定式例句:1. The sentence structure is prenex-disjunctive normal form.(这句话的结构是前束式否定正常形式。)2. In mathematics', 'the prenex-disjunctive normal form is used to represent disjunctions.(在数学中,前束式否定正常形式用于表示合取。)']

例句:

  1. 1. The sentence structure is prenex-disjunctive normal form.
    这句话的结构是前束式否定正常形式。
  2. 2. In mathematics, the prenex-disjunctive normal form is used to represent disjunctions.
    在数学中,前束式否定正常形式用于表示合取。
  3. 3.The prenex-disjunctive normal form is a useful tool for solving logical problems.
    前束式否定正常形式是一种解决逻辑问题的有效工具。