用C语言解决逻辑推理问题

有关数学上的逻辑推理程序题

题目

警察需要侦破某重大案件，已抓获一嫌疑人，并且搜集了与该嫌疑人30项有关的证据。任何证据之间都不能互相矛盾，要一致地推出嫌疑人有罪，才能定案。但是要理清这些证据是否矛盾，对于人脑来说，太过复杂。警察恰巧学过数理逻辑，他把证据变成了15个原子命题：p1, p2, p3 …,p15，把这些原子命题之间的联系(即30项证据)，描述成了30个复合命题q1, q2，q3, …，q30；他想用计算机算出以下推理是否有效：
q1 & q2 & a3 & ······& q30 —>t
其中t代表命题：嫌疑人有罪。由于该警察虽数学较好，但不擅长计算机，现请你帮他解决该问题。

#include<stdio.h>
int main()
{
   
	int i,q[30]={
   1,1,1,