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
Stránky: 1
Zdravím,
postup rezoluční metody znám a umím, ale nejde mi jedna věc.
Pokud mám zadánu formuli ve tvaru např: r ⇒ (t ∧ s).
To si převedu do CNF: (!r ∨ t) ∧ (!r ∨ s) .
A když budu mít ještě třeba formuli " !r " jak zjistím resolvent těchto dvou formulí?
Ve většině příkladů co jsem viděl, tak jsou formule bez závorek. A ty mi tady vadí.
Díky
Offline
Stránky: 1