数理逻辑辅助工具-合取范式&析取范式生成器

======================================================================== 应用程序：WinNfm 项目概述 ======================================================================== 应用程序向导已为您创建了此 WinNfm 应用程序。 本文件概要介绍组成 WinNfm 应用程序的每个文件的内容。 WinNfm.vcproj 这是使用应用程序向导生成的 VC++ 项目的主项目文件。 它包含生成该文件的 Visual C++ 的版本信息，以及有关使用应用程序向导选择的 平台、配置和项目功能的信息。 WinNfm.cpp 这是主应用程序源文件。 包含用于显示窗体的代码。 Form1.h 包含窗体类的实现和 InitializeComponent() 函数。 AssemblyInfo.cpp 包含用于修改程序集元数据的自定义属性。 ///////////////////////////////////////////////////////////////////////////// 其他标准文件： StdAfx.h, StdAfx.cpp 这些文件用于生成名为 WinNfm.pch 的预编译头文件 和名为 StdAfx.obj 的预编译类型文件。 /////////////////////////////////////////////////////////////////////////////