Katalog
Pravilnostne tabele
v delu; zadnja sprememba: 8. september 1995
Izdelek:
- ime: Truth Table Maker
- naslov: Generator pravilnostnih tabel
- razli~ica: 1.20, 1989
Avtorstvo:
- avtor: 2LT Michael P. Kelly, U.S. Army
compuserve:
Michael P. Kelly 73747,420
Okolje:
- ra~unalnik: Vsaj 286
- programska podpora: Dos
Vsebina:
- vsebina:
Program Truth Table Maker (TTM) naredi pravilnostno tabelo podanega
logi"cnega izraza. Program pozna tri osnovne operacije: logi"cni in ,
logi"cni ali in logi"cni ne .
- podro~je: Matematika, logika, ra"cunalni"stvo
Mnenja in ocene:
Pripombe k programu ttm.
P01. Vnos podatkov. Logi"cne izraze vna"samo v glavni vrsti.
Spremenljivke so "crke od A do Z, logi"cni in je predstavljen
s stikom (npr. A in B pi"semo kar AB), logi"cni ali s '+' in logi"cni ne
z '. Tako npr. implikacijo A => B zapi"semo A'+B.
P02. Izpis. Program izpi"se tabelo na zaslon, lahko pa tudi na tiskalnik.
"Ce je tabela predolga, sko"cimo na konec s tipko Q.
P03. Avtor bo morda dodal "se dodatne mo"znosti: izra"zavo izjav kot
vsoto produktov in kot produkt vsot, poenostavljanje izrazov, ... Zaenkrat
program stabilno deluje, zna pa delati samo pravilnostne tabele.
Dostopnost:
- sestava: Truth Table Maker sestavljajo datoteke:
-
truth.exe
program
-
truth.doc
navodilo
-
ttm120.zip
stisnjeni zgornji datoteki
- vrsta izdelka: program Truth Table Maker sodi med
programsko opremo v javni lasti (public domain).
- naslovi:
ftp://ftp.arnes.si/software/SimTel/msdos/math/ttm120.zip
- cena: Program je zastonj.
- pravne omejitve:
Avtor si pridr"uje avtorske pravice. Programa in spremljajo"cih
datotek ne smemo spreminjati. Pri raz"sirjanju programa si ne smemo
delati dobi"cka.
- dostopnost izvorne kode: Ni dostopna.
Podpora:
Napake, pripombe in vpra{anja naslovite na avtorja.
Iskanje:
- gesla: matematika, logika, pravilnostne tabele.
Sestavil:
Ivan Lisac
e-mail:
Ivan.Lisac@fmf.uni-lj.si