b'\n_START_ARTICLE_\nClausola di Horn\n_START_SECTION_\nHorn-soddisfacibilit\xc3\xa0\n_START_PARAGRAPH_\nNella teoria della complessit\xc3\xa0 le clausole di Horn risultano essere particolarmente interessanti poich\xc3\xa9 il problema della soddisfacibilit\xc3\xa0 di una formula booleana nel caso particolare in cui le clausole della formula siano tutte Clausole di Horn (detto problema della Horn-soddisfacibilit\xc3\xa0) ha complessit\xc3\xa0 polinomiale.'