[ kajla @ 03.03.2005. 09:19 ] @
Da li neko zna da li je moguće i kako u nekom od dva gore pomenuta programa proveriti da li je data logička formula tautologija, nalaziti modele i kontramodele, da prebacuje formule u Konjuktivnu normalnu formu i Disjunktivnu normalnu formu?

Ako nije moguće ni u jednom od ova dva programa, da li neko zna gde je moguće raditi takve stvari?

poz.
[ Dexter_of_Nis @ 04.03.2005. 21:41 ] @
Moze, u Mathematici 5.0 (btw izasla je i verzija 5.1 :), mozes da skines sa neta trial verziju) to ti radi fja LogicalExpand (proverava da li je formula tautologija, ako nije onda nalazi DNF). Za ovo ostalo, ne znam napamet, potrazi u helpu.

RgdZ