7 svar
211 visningar
a.carnosa behöver inte mer hjälp
a.carnosa 36
Postad: 28 feb 2023 15:32

Konjunktiv normalform

Jag har en uppgift att omvandla: ( x + zy)z + x till konjunktiv normalform.

En lösning till detta är x^.

Men är det verkligen uttryckt i normalform?
Skulle behöva tips om hur man går till väga här!

Marilyn 3385
Postad: 1 mar 2023 02:33 Redigerad: 1 mar 2023 03:22

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.

Marilyn 3385
Postad: 1 mar 2023 03:44

Jag är inte nöjd, hade önskat visa det med bara kända manipulationer.

a.carnosa 36
Postad: 1 mar 2023 07:56

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.

D4NIEL 2932
Postad: 1 mar 2023 09:06 Redigerad: 1 mar 2023 09:58

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 x¯\overline{x} använder vi faktorerna som ger "utvärdet" 0 när xx är 1

(x¯+y+z)·(x¯+y+z¯)·(x¯+y¯+z)·(x¯+y¯+z¯)(\overline{x}+y+z)\cdot (\overline{x}+y+\overline{z}) \cdot (\overline{x}+\overline{y}+z) \cdot (\overline{x}+\overline{y}+\overline{z})

a.carnosa 36
Postad: 1 mar 2023 10:13

Tack! Det var mer det jag var ute efter!

D4NIEL 2932
Postad: 1 mar 2023 11:05

För tydlighetens skull ser tabellen ut så här:

 

Marilyn 3385
Postad: 1 mar 2023 12:10

Tack D4NIEL, det var bättre.

Svara
Close