谓词逻辑归结原理源代码

#include<iostream.h>#include<string.h>#include<stdio.h>#define null 0typedef struct{ char var; char