JCW2 asked on # Can It Be In Horn Form

I'm trying to understand whether R => (E <==> C) can be expressed in Horn form. How do I deal with this?

Math / ScienceProgrammingAlgorithms

Log in or sign up to see answer

Become an EE member today7-DAY FREE TRIAL

Members can start a 7-Day Free trial then enjoy unlimited access to the platform

or

Learn why we charge membership fees

We get it - no one likes a content blocker. Take one extra minute and find out why we block content.

Not exactly the question you had in mind?

Sign up for an EE membership and get your own personalized solution. With an EE membership, you can ask unlimited troubleshooting, research, or opinion questions.

ask a questionJCW2

By main clause, do you mean R?

Log in or sign up to see answer

Become an EE member today7-DAY FREE TRIAL

Members can start a 7-Day Free trial then enjoy unlimited access to the platform

or

Learn why we charge membership fees

We get it - no one likes a content blocker. Take one extra minute and find out why we block content.

Not exactly the question you had in mind?

Sign up for an EE membership and get your own personalized solution. With an EE membership, you can ask unlimited troubleshooting, research, or opinion questions.

ask a questionJCW2

Using E <==> C as the main clause, I don't think I can express my problem in Horn form. Am I correct?

JCW2

Disregard the last comment.

Experts Exchange is like having an extremely knowledgeable team sitting and waiting for your call. Couldn't do my job half as well as I do without it!

James Murphy

Get an unlimited membership to EE for less than $4 a week.

Unlimited question asking, solutions, articles and more.

JCW2

From what I can see, the relevant rows are

T T F - F and

T F T - F.

Therefore, we can not express the propositional sentence in Horn form.

Is this correct?

T T F - F and

T F T - F.

Therefore, we can not express the propositional sentence in Horn form.

Is this correct?

Get an unlimited membership to EE for less than $4 a week.

Unlimited question asking, solutions, articles and more.

JCW2

Another thing: is it possible for a sentence to be expressed in Horn form if all literals are F in the proper row?

Get an unlimited membership to EE for less than $4 a week.

Unlimited question asking, solutions, articles and more.

JCW2

Thank you for your help.

Get an unlimited membership to EE for less than $4 a week.

Unlimited question asking, solutions, articles and more.

TommySzalapski

A Horn clause has AT MOST one positive literal.

A definite clause has EXACTLY one positive literal.

So the definite clause would not work if the whole row was Ts, but Horn could.

A definite clause has EXACTLY one positive literal.

So the definite clause would not work if the whole row was Ts, but Horn could.