Matematické Fórum
Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.
Nástěnka
❗22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
❗04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
❗23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.
Nejste přihlášen(a). Přihlásit
#1 19. 03. 2019 19:21
Sémantické stromy
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.
Offline