Matematické Fórum

Dobrý večer, mal som za úlohu vyjadriť DNF a KNF pomocou sémantických stromov. Mohol by sa niekto prosím pozrieť, či je to OK? (Nemám k tomu výsledky). A ešte sa chcem spýtať, že ak narazím (uprostred výpočtu) na vetvu, kde vidím, že mám 2 komplementárne literály, nemusím ju už ďalej vôbec rozvíjať? Môžem ju vynechať a pokračovať iba s vetvami, ktoré neobsahujú komplementárne literály?
ďakujem.