Free to follow every thread. No paywall, no dead ends.
Normal forms (logic) | HearLore
— Curated category —
Normal forms (logic)
Horn clauseIn 1951, logician Alfred Horn published a paper that changed how mathematicians viewed logical formulas. He identified a specific type of disjunctive clause…