"lihtkonjunktsioon" - 1 õppematerjal

Matemaatiline maailmapilt

Eeldame nüüd ümberpöördult, et valem on samaselt tõene. Valime selles valemis esinevatele muutujatele suvalise väärtustuse. Et ekvivalents on tõene, siis kas ja on mõlemad tõesed või ja on mõlemad väärad. See tähendab, et valemite ja tõeväärtused on suvalisel väärtustusel samad. Vastavalt definitsioonile on valemid ja samaväärsed. Täielik disjunktiivne normaalkuju Lihtkonjunktsioon on muutujate või nende eituste konjunktsioon. Näiteks X ¬Y, X Y ¬Y ja X on lihtkonjunktsioonid. Täielik lihtkonjunktsioon on lihtkonjunktsioon, milles iga muutuja esineb täpselt ühe korra. Näiteks muutujate X, Y ja Z korral on ¬X Y ¬Z täielik lihtkonjunktsioon. Valemi disjunktiivne normaalkuju (DNK) on loogiliselt samaväärne valem, mis esitub lihtkonjunktsioonide disjunktsioonina. Näiteks X Y ¬X ¬Y on disjunktiivsel normaalkujul olev valem. Valemi täielik disjunktiivne