• 正在加载中...
  • 析取

    用连词∨把几个公式连接起来所构成的公式叫做析取,而此析取式的每一组成部分叫做析取项。由一些合适公式所构成的任一析取也是一个合适公式。 恒假公式的主析取范式用0表示。定理2.4.2 对于命题公式G,都存在等价于它的主析取范式。定理2.4.4 对于任意公式G,存在唯一一个与G等价的主析取范式。极小项(extremal ~):小项中恰包含n个变量或其否定。

    编辑摘要

    目录

    定理的证明思路/析取 编辑

    1、化成限定性公式;

    2、将否定联结词移到命题变量的前面;

    3、消除多余的否定联结词;

    4、化成合取范式和析取范式。

    定理1局限/析取 编辑

    1、标准化但仅仅是初步的

    # 标准化的形式

    # 不唯一性

    2、能够判定是否为永真或永假公式但不方便

    定理2:一个命题公式是永真公式当且仅当与它等价的合取范式的每一个大项中包含了一个命题变量和它

    的否定;

    一个命题公式是永假公式当且仅当与它等价的析取范式的每一个小项中包含了一个命题变量和它

    的否定;

    定义2.4.5 设命题公式G中所有不同原子为P1,…,Pn,如果G的某个析取范式G’中的每一个短语,都是

    关于P1,…,Pn的一个极小项,则称G’为G的主析取范式。 恒假公式的主析取范式用0表示。

    定理2.4.2 对于命题公式G,都存在等价于它的主析取范式。

    定理2.4.3 设公式G,H是关于原子P1,…,Pn的两个主析取范式。 如果G,H不完全相同,则G,H不等价

    定理2.4.4 对于任意公式G,存在唯一一个与G等价的主析取范式。

    令A(a1、a2、……、an)包含有n个变量的公式,

    极小项(extremal ~):小项中恰包含n个变量或其否定。

    极大项( extremal ~):大项中恰包含n个变量或其否定。

    主合取范式(Unique conjunctive normal form):

    若干个极大项的合取。

    主析取范式(Unique disjunctive normal form):

    若干个极小项的析取。

    定理3:令A(a1、a2、……、an)包含有n个变量的公式,则有:

    1、如果A存在与之等价的主析取范式,则必唯一;

    2、如果A存在与之等价的主合取范式,则必唯一;

    3、A是永真公式当且仅当与A等价的主析取范式恰有2n个极小项或没有主合取范式;

    4、A是永假公式当且仅当与A等价的主合取范式恰有2n个极大项或没有主析取范式;

    5、两个命题公式等价当且仅当它们有相同的主合取范式或相同的主析取范式。

    例6 张先生手中有代号为A、B、C、D、E的五种股票,根据当前股市情况及张先生本人的经济需求,需要

    要求/析取 编辑

    (1)若A抛出,则B也抛出;

    (2)B和C要留一种股票且只能留一种;

    (3)C和D要么全抛,要么都不抛;

    (4)D和E两种股票中必然有一种或两种要抛出;

    (5)若E抛出,则A、B也抛出。上述五种条件全部满足,问有几种合理的方案供张先生选择。

    相关文献

    添加视频 | 添加图册相关影像

    互动百科的词条(含所附图片)系由网友上传,如果涉嫌侵权,请与客服联系,我们将按照法律之相关规定及时进行处理。未经许可,禁止商业网站等复制、抓取本站内容;合理使用者,请注明来源于www.baike.com。

    登录后使用互动百科的服务,将会得到个性化的提示和帮助,还有机会和专业认证智愿者沟通。

    互动百科用户登录注册
    此词条还可添加  信息模块

    WIKI热度

    1. 编辑次数:6次 历史版本
    2. 参与编辑人数:6
    3. 最近更新时间:2015-08-27 12:12:04

    互动百科

    扫码下载APP