匿名使用者
1級
2011-01-02 回答主析取正規化法是由極小項的析取構成的，每種真值指派使僅使某一個極小項為真，從而使整個公式為真，有多少真值指派就有多少極小項，N個變元有2^N個極小項，如果缺了某個極小項，它對應的真值指派就不能使其它小項為真，從而整個公式不能為真，故重言式是所有極小項（2^N個）析取，缺一不可，否則必不是重言式。
奢望永恆
1級
2011-01-03 回答離散數學（discrete mathematics）是數學的幾個分支的總稱，以研究離散量的結構和相互間的關係為主要目標，其研究物件一般地是有限個或可數無窮個元素；因此它充分描述了計算機科學離散性的特點。 離散數學通常研究的領域包括：數理邏輯、集合論、代數結構、關係論、函式論、圖論、組合學、數論等。 由於數位電子計算機是一個離散結構，它只能處理離散的或離散化了的數量關係， 因此，無論計算機科學本身，還是與計算機科學及其應用密切相關的現代科學研究領域，都面臨著如何對離散結構建立相應的數學模型；又如何將已用連續數量關係建立起來的數學模型離散化，從而可由計算機加以處理。 離散數學課程主要介紹離散數學的各個分支的基本概念、基本理論和基本方法。這些概念、理論以及方法大量地應用在數位電路、編譯原理、資料結構、作業系統、資料庫系統、演算法的分析與設計、人工智慧、計算機網路等專業課程中；同時，該課程所提供的訓練十分有益於學生概括抽象能力、邏輯思維能力、歸納構造能力的提高，十分有益於學生嚴謹、完整、規範的科學態度的培養。
