Skip to Main Content

Home Categories

Quiz Builder

Free quiz building from a large question library, with custom questions and first-party online play.

Pro

AI quiz building, image questions, private quizzes, and advanced export workflows for serious creators.

API

Authenticated API access for builders creating their own quiz apps, workflows, and integrations.

Color scheme

© QuestionStock

Library snapshot4,089 questions30 categories

All systems operational

Categories Features Quiz Builder Pro API

About Pricing Quizzes Support Contact

Status API docs Terms Privacy

What property characterizes a Horn clause in propositiona... | QuestionStock

Representative image for question: What property characterizes a Horn clause in propositional or first-order logic?

Categories
Logic

What property characterizes a Horn clause in propositional or first-order logic?

Easy

Create a free account to see more questions and build your own quiz.

What property characterizes a Horn clause in propositional or first-order logic?

Options:

It contains at most one positive (unnegated) literal.
It contains at most one negative (negated) literal.
It contains exactly two literals.
It contains only propositional variables, no predicates.

Correct answer: It contains at most one positive (unnegated) literal.

Explanation: A Horn clause has at most one positive (unnegated) literal and any number of negative literals. Propositional Horn-SAT is solvable in linear time by Dowling & Gallier's algorithm (1984).

Created 2026-03-12T10:09:10.355Z. Updated 2026-03-12T10:09:10.355Z.