摘要：
题目链接在POJ训练计划中构造法的一个题，题目还是挺有意思的，就是离散中真值表给构造出来，马上要考离散了，就当复习一下析取和合取。。。思路：先搜一下5个命题的真假（枚举），然后从后往前推，用了栈的思想,判断复合命题是否为真。开始以为栈中只能有两个元素，WA了一次，改改OK了。。 1 #include <stdio.h> 2 #include <stdlib.h> 3 #include <string.h> 4 int p[7],o[200],z; 5 char str[5000]; 6 int find() 7 { 8 int i,j,k,l; 9 l = 阅读全文
