Matematiikka:Hornin lauseke

Tällä käsitteellä ei ole otsikon muodostavia nimityksiä.

Hornin lauseke (luo nimityssivu)

Määritelmä

[[Matematiikka:literaali

|literaalien]] Matematiikka:disjunktio, jossa korkeintaan yksi literaali on positiivinen

Selite Disjunktio $\mathrm{\neg }{p}_1\vee \mathrm{\neg }{p}_2\vee \dots \mathrm{\neg }{p}_n\vee q,$ missä $p_1,\dots ,p_n$ ja $q$ ovat atomikaavoja, on Hornin lauseke. Tämä on ekvivalentti implikaation ${\displaystyle }$(p_1 \wedge p_2 \wedge \ldots \wedge p_n) \to q${\displaystyle }$ kanssa.

Erikieliset vastineet

horn clause (luo nimityssivu)

englanti (English)

Alaviitteet

Lähdeviittaus tähän sivuun:
Tieteen termipankki 6.12.2025: Matematiikka:Hornin lauseke. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Matematiikka:Hornin lauseke.)

Siirry tarkastelemaan sivun muokkaushistoriaa →