Konjunktiv normalform

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

$(\overline{x}+y+z)\cdot (\overline{x}+y+\overline{z}) \cdot (\overline{x}+\overline{y}+z) \cdot (\overline{x}+\overline{y}+\overline{z})$

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.