如何在C中编写一阶逻辑公式？ [英] How to code first order logic formula in C?
问题描述
我必须构建一个大小为N * N的二维表（在任何位置为0/1）。应用这些第一顺序约束。把表任意说吧_Bool tab [N] [N];
写C代码，For循环（其中两个......）来限制这个表的条件如下：
1.对于从0到N的每个i，所有j == 0和！所有j == 1
a。没有一行应该全1。
b。没有行应该全部为0。
2.对于0到N之间的每个i，至少存在一个j，使得tab [i] [j] == 1
a。每排应该至少有一个1.
请帮助我。谢谢。
I have to build a two dimensional table (0/1 at any position) of size N * N. With applying these first order constraints. Put table arbitrary lets say _Bool tab[N][N];
Write C code , For loops (Two of them ..) to restrict this table for the conditions are following :
1.For each i's from 0 to N, !all j == 0 and !all j ==1
a. No row should have all 1's.
b. No row should have all 0's.
2.For each i's between 0 to N , there exists at least one j such that tab[i][j] == 1
a.Each row should have at least one 1.
kindly help me. thanks.
推荐答案
至少有任何提示？请。
我们不做你的作业：它是有原因的。它就是为了让你思考你被告知的事情，并试着理解它。它也在那里，以便您的导师可以识别您身体虚弱的区域，并将更多的注意力集中在补救措施上。
亲自尝试，你可能会发现它不是和你想的一样困难！
如果遇到具体问题，请询问相关问题，我们会尽力提供帮助。但我们不打算为你做这一切！
We do not do your homework: it is set for a reason. It is there so that you think about what you have been told, and try to understand it. It is also there so that your tutor can identify areas where you are weak, and focus more attention on remedial action.
Try it yourself, you may find it is not as difficult as you think!
If you meet a specific problem, then please ask about that and we will do our best to help. But we aren't going to do it all for you!
这篇关于如何在C中编写一阶逻辑公式？的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！
