# 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

Last Comment
TommySzalapski
TommySzalapski

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.
JCW2

By main clause, do you mean R?
SOLUTION
TommySzalapski

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.
JCW2

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.
SOLUTION
TommySzalapski

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.
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
TommySzalapski

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.
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
TommySzalapski

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.
JCW2

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.
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