Matematikai logika. Kérdés a teljes konjunktív normálformáról?

Műszaki Könyvkiadó, Bolyai könyvek sorozat, Urbán János: Matematikai logika.

A linkelt első kép alján kezdődik a két fogalom (teljes diszjunktív/konjunktív normálforma) definíciója ill. a második kép tetején a folytatása.

[link]

[link]

"Egy formuláról akkor mondjuk hogy teljes konjunktív normálforma, ha olyan diszjunkciók konjunkciója, amelyekben minden diszjunkciós vagy vagy egy változó, vagy egy változó negáltja, és minden DISZJUNKCIÓS tagban a formulában szereplő minden változó - negálva vagy negálatlanul - pontosan egyszer fordul elő, és nincs két olyan konjunkciós tag, amelyek csak a változók sorrendjében különböznek."

A lényeget kiemelve, olyan formulákról beszélünk amelyek konjunkciókból állnak, és minden konjunkciós tag egy diszjunkció. Az idézett definícióban, ahol nagybetűkkel írtam a diszjunkciót, azt írja le, hogy minden diszjunkciós tagban szerepel a formulában előforduló összes változó, ami viszont "értelmetlen". Úgy vélem a lényeg az lenne, hogy minden változó szerepel az összes konjunkciós tagban, tehát ahol a diszjunkciós tagot nagybetűvel írtam, oda szerintem konjunkciós tagot kellene írni. Én vagyok nagyon eltévedve, vagy mi a helyzet ezzel a definícióval?

Megköszönném ha segítene vki. Üdv.