Avatar of JCW2
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

Avatar of undefined
Last Comment
TommySzalapski

8/22/2022 - Mon
ASKER CERTIFIED SOLUTION
TommySzalapski

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
Sign up - Free for 7 days
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.
See how we're fighting big data
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 question
ASKER
JCW2

By main clause, do you mean R?
SOLUTION
TommySzalapski

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
Sign up - Free for 7 days
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.
See how we're fighting big data
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 question
ASKER
JCW2

Using E <==> C as the main clause, I don't think I can express my problem in Horn form. Am I correct?
ASKER
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
SOLUTION
Log in to continue reading
Log In
Sign up - Free for 7 days
Get an unlimited membership to EE for less than $4 a week.
Unlimited question asking, solutions, articles and more.
ASKER
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?
SOLUTION
Log in to continue reading
Log In
Sign up - Free for 7 days
Get an unlimited membership to EE for less than $4 a week.
Unlimited question asking, solutions, articles and more.
ASKER
JCW2

Another thing: is it possible for a sentence to be expressed in Horn form if all literals are F in the proper row?
SOLUTION
Log in to continue reading
Log In
Sign up - Free for 7 days
Get an unlimited membership to EE for less than $4 a week.
Unlimited question asking, solutions, articles and more.
ASKER
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.