Dzień Dobry!
Smok Eustachy wrote:
> Witam!
> Ktoś zna jakiś działający program który dowodzi tautologie itp
> zagadnienia z logiki matematycznej?
> Wpisywało by się wyrazenie logicznie jeżeli a i b ale nie c...
> a on by robił tabelę?
> Najlepiej pod Linuxa albo bezpłatny pod Windows.
Wybierz sobie:
http://www.cs.ru.nl/~freek/digimath/bycategory.html http://gams.nist.gov/Problem.html (sprawdź link taxonomy)
http://www.math.psu.edu/MathLists/Software.html generalnei jest dosyc duzo rzeczy do pracy w "logice" jak np. do
minimalizowania funkcji boolowskich. W sumie chyba to by cie najbardziej
interesowało, chociaz tu zabawa polega nie na zrobieniu tabelki tylko na
wymysleniu równowaznej tautologii o mniejszej tabelce co zapewne może w
subtelny sposób Ci nie odpowiadać...
Pozdrawiam
K
|
