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?
Last Comment
ASKER CERTIFIED SOLUTION
THIS SOLUTION IS ONLY AVAILABLE TO MEMBERS.
View this solution by signing up for a free trial.
Members can start a 7-Day free trial and enjoy unlimited access to the platform.
SOLUTION
THIS SOLUTION IS ONLY AVAILABLE TO MEMBERS.
View this solution by signing up for a free trial.
Members can start a 7-Day free trial and enjoy unlimited access to the platform.
ASKER
Using E <==> C as the main clause, I don't think I can express my problem in Horn form. Am I correct?
ASKER
Disregard the last comment.
SOLUTION
THIS SOLUTION IS ONLY AVAILABLE TO MEMBERS.
View this solution by signing up for a free trial.
Members can start a 7-Day free trial and enjoy unlimited access to the platform.
ASKER
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?
SOLUTION
THIS SOLUTION IS ONLY AVAILABLE TO MEMBERS.
View this solution by signing up for a free trial.
Members can start a 7-Day free trial and enjoy unlimited access to the platform.
ASKER
Another thing: is it possible for a sentence to be expressed in Horn form if all literals are F in the proper row?
SOLUTION
THIS SOLUTION IS ONLY AVAILABLE TO MEMBERS.
View this solution by signing up for a free trial.
Members can start a 7-Day free trial and enjoy unlimited access to the platform.
ASKER
Thank you for your help.
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.
Programming
Programming includes both the specifics of the language you’re using, like Visual Basic, .NET, Java and others, but also the best practices in user experience and interfaces and the management of projects, version control and development. Other programming topics are related to web and cloud development and system and hardware programming.
55K
Questions
--
Followers
--
Top Experts
Get a personalized solution from industry experts
TRUSTED BY
ASKER