How to code first order logic formula in C?

Question

1.00/5 (1 vote)

See more:

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.

Posted 20-Feb-15 17:42pm

ALEX_CROME

Updated 20-Feb-15 17:44pm

v2

Add a Solution

Comments

Richard MacCutchan 21-Feb-15 4:33am

That star is to tell you that no one here is going to do your work for you. Please read the FAQ.

2 solutions

Add a Solution

Add your solution here

Treat my content as plain text, not as HTML

Preview 0

…

Existing Members

Sign in to your account

...or Join us

Download, Vote, Comment, Publish.

Your Email
Password
Forgot your password?

Your Email
This email is in use. Do you need your password?
Optional Password

I have read and agree to the Terms of Service and Privacy Policy
Please subscribe me to the CodeProject newsletters

When answering a question please:

Read the question carefully.
Understand that English isn't everyone's first language so be lenient of bad spelling and grammar.
If a question is poorly phrased then either ask for clarification, ignore it, or edit the question and fix the problem. Insults are not welcome.
Don't tell someone to read the manual. Chances are they have and don't get it. Provide an answer or move on to the next question.

Let's work to help developers, not make them feel stupid.

This content, along with any associated source code and files, is licensed under The Code Project Open License (CPOL)

ALEX_CROME · Answer 1 · 2015-02-21T11:10:00

Solution 2

At least any Hint ?? Please .

Posted 21-Feb-15 11:10am

ALEX_CROME

Comments

Richard MacCutchan 22-Feb-15 4:08am

Hint: draw the desired result on paper for say a 5 * 5 matrix. Fill in the required values based on your rules. From that you can deduce the algorithm that needs to be coded.

OriginalGriff · Answer 2 · 2015-02-20T19:34:00

Solution 1

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!

Posted 20-Feb-15 19:34pm

OriginalGriff

Comments

ALEX_CROME 21-Feb-15 10:45am

It's not a homework. I'm in the middle of my project and requirement was that the table build has to be treated like just an Input which i did by using (assumes yes I'm doing model checking). But now I want to improve that using this idea that lets use these constraints and feed that to a SAT solver which in return will satisfy the constraints and then I'll check for some property and get a counterexample for the same. I'm unable to come up with a solution , actually i have more constraints on the building table but wanted basic constraints to be clear . I'm Not a C programmer and so now i have to tell declarative in C that these constraints met. I do't want to create a Table I have to just specify the constraints. It will be great help if u suggest something rather than pointing out that this is Homework .

ALEX_CROME 21-Feb-15 11:05am

The problem is XOR is not working (fitting well) in this frame. I want to use xor but somehow messing things up.
x = 0;
for(i=0 to N)
for (j = 0 to N)
x = table[i][j] ^ x ;
assert(x == true);

somehow not working.