Konjunktiv normalform
Jag har en uppgift att omvandla: till konjunktiv normalform.
En lösning till detta är .
Men är det verkligen uttryckt i normalform?
Skulle behöva tips om hur man går till väga här!
Min gissning är att det handlar om logiska variabler.
Betyder taken över variablerna negation? Jag ställde upp en sanningstabell, fick önskat svar, men tabellen var felaktig.
Uppgiften bör förstås helst lösas utan sanningstabell. Jag gör ett försök.
Jag är inte nöjd, hade önskat visa det med bara kända manipulationer.
Ja precis, taken är negationer.
Man kan alltså göra antaganden om värden när man ställer upp en normalform?
Eftersom vi har x, y och z, så har jag förstått det som att svaret ska bli (x, y ,z)(x, y ,z)(x, y ,z) (där negationer ska förekomma på rätt variabler).
Eftersom det är konjunktiv normalform är det multiplikation mellan parenteserna.
Konjunktiv form bör innebära en produkt av summor. Faktorerna i en konjunktiv form
kallas altermer. En konjunktiv form i vilken varje variabel förekommer i varje alterm kallas
konjunktiv normalform.
För att få sanningstabellen till använder vi faktorerna som ger "utvärdet" 0 när är 1
Tack! Det var mer det jag var ute efter!
För tydlighetens skull ser tabellen ut så här:
Tack D4NIEL, det var bättre.