#include?“in.h“
#include?“merge.h“
#include?“out.h“
using?namespace?std;

int?nm?=?0?nd?=?0?n?=?0;;//nm蘊(yùn)含項(xiàng)個(gè)數(shù)，nd無關(guān)項(xiàng)個(gè)數(shù)，n邏輯變量個(gè)數(shù)

int?main（）
{
	//讀入信息
	int?*min?=?NULL?*dont?=?NULL;//讀入編號(hào)
	input（min?dont?nm?nd?n）;
	IMPLICANT?*term?=?NULL?*term2?=?NULL;//轉(zhuǎn)換
	in（term?min?dont?nm?nd?n）;
	IMPLICANT?*essential?=?NULL;
	int?count?=?MinCover（termessentialmin?nm?nd?n）;//求最小覆蓋
	Out（essential?count?n）;//輸出結(jié)果
	return?0;
}

?屬性????????????大小?????日期????時(shí)間???名稱
-----------?---------??----------?-----??----

?????文件???????6676??2012-03-20?17:33??MyQm\MyQm\Debug\BuildLog.htm

?????文件??????79582??2012-03-20?17:33??MyQm\MyQm\Debug\main.obj

?????文件?????????65??2012-03-20?17:33??MyQm\MyQm\Debug\mt.dep

?????文件????????663??2012-03-19?16:27??MyQm\MyQm\Debug\MyQm.exe.embed.manifest

?????文件????????728??2012-03-19?16:27??MyQm\MyQm\Debug\MyQm.exe.embed.manifest.res

?????文件????????621??2012-03-20?17:33??MyQm\MyQm\Debug\MyQm.exe.intermediate.manifest

?????文件?????199680??2012-03-20?17:33??MyQm\MyQm\Debug\vc90.idb

?????文件?????217088??2012-03-20?17:33??MyQm\MyQm\Debug\vc90.pdb

?????文件???????3771??2012-03-20?17:25??MyQm\MyQm\implicant.h

?????文件???????1541??2012-03-20?17:33??MyQm\MyQm\in.h

?????文件????????485??2012-03-20?17:30??MyQm\MyQm\main.cpp

?????文件???????3956??2012-03-20?17:30??MyQm\MyQm\merge.h

?????文件???????4145??2012-03-20?00:08??MyQm\MyQm\MyQm.vcproj

?????文件???????1413??2012-03-20?17:34??MyQm\MyQm\MyQm.vcproj.Jacob-PC.Jacob.user

?????文件????????471??2012-03-20?12:55??MyQm\MyQm\out.h

?????文件???????6722??2012-03-20?17:34??MyQm\MyQm\Release\BuildLog.htm

?????文件?????578156??2012-03-20?17:34??MyQm\MyQm\Release\main.obj

?????文件?????????65??2012-03-20?17:34??MyQm\MyQm\Release\mt.dep

?????文件????????616??2012-03-20?17:34??MyQm\MyQm\Release\MyQm.exe.intermediate.manifest

?????文件??????93184??2012-03-20?17:34??MyQm\MyQm\Release\vc90.idb

?????文件?????192512??2012-03-20?17:34??MyQm\MyQm\Release\vc90.pdb

?????文件????2296832??2012-03-20?17:34??MyQm\MyQm.ncb

?????文件????????878??2012-03-18?23:16??MyQm\MyQm.sln

????..A..H.?????23552??2012-03-20?17:34??MyQm\MyQm.suo

?????文件??????16896??2012-03-20?17:34??MyQm\Release\MyQm.exe

?????文件?????371712??2012-03-20?17:34??MyQm\Release\MyQm.pdb

?????目錄??????????0??2012-03-20?17:33??MyQm\MyQm\Debug

?????目錄??????????0??2012-03-20?17:34??MyQm\MyQm\Release

?????目錄??????????0??2012-03-20?17:33??MyQm\MyQm

?????目錄??????????0??2012-03-20?17:34??MyQm\Release

............此處省略4個(gè)文件信息