国产精品久久久久久人妻热-精品中文日韩色影院-日本免费三区二道视频-东莞大鸡吧操小骚逼免费视频-色哟哟免费专区国产精品-女女女女女女BNBBBB毛-日韩有码免费在线播放-欧美在线免费观看一区二区-亚洲精品天堂在线地址

主析取范式怎么求

【主析取范式怎么求】
主析取范式求法是:由極小項(xiàng)之和構(gòu)成的,命題公式化簡(jiǎn)出來(lái)的主析取范式中包含的極小項(xiàng),其下標(biāo)對(duì)應(yīng)的指派得到的命題公式的真值應(yīng)該為1 。主合取范式由極大項(xiàng)之積構(gòu)成,命題公式等價(jià)的主合取范式中包含的極大項(xiàng),其對(duì)應(yīng)下標(biāo)應(yīng)該是使對(duì)應(yīng)的指派得到命題公式的真值為0 。
含n個(gè)命題變項(xiàng)的簡(jiǎn)單合取式(簡(jiǎn)單析取式),若每個(gè)命題變項(xiàng)及其否定式不同時(shí)出現(xiàn),而二者之一必出現(xiàn)且僅一次,且第i個(gè)命題變項(xiàng)或其否定式出現(xiàn)在左起第i位上(按字典序排列),稱(chēng)該簡(jiǎn)單合取式(簡(jiǎn)單析取式)為極小項(xiàng)(極大項(xiàng)) 。

    推薦閱讀