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:

Iskanje:

• gesla: matematika, logika, pravilnostne tabele.

Sestavil: