Krisipus

PostPoslato: Četvrtak, 27. Maj 2021, 12:59
od primus
Python skripta krisipus.py je generator tautologija koje sadrže maksimalno četiri iskazna slova. Skriptu možete preuzeti ovde. Da bi program ispravno radio potrebno je da se fajl formula.py nalazi u istom direktorijumu kao i fajl krisipus.py.

Re: Krisipus

PostPoslato: Petak, 28. Maj 2021, 14:09
od ubavic
Možeš li malo da opišeš kako program funkcioniše?

Re: Krisipus

PostPoslato: Petak, 28. Maj 2021, 16:42
od primus
U principu stvar je jednostavna. Program u for petlji generiše random iskazne formule ograničene dužine i odmah proverava da li je formula tautologija ili ne. Ukoliko naiđe na tautologiju izlazi iz petlje i ispisuje rezultat. Ulaznu veličinu predstavlja broj različitih iskaznih slova koja čine iskaznu formulu. Za proveru da li je formula tautologija koristio sam skriptu formula.py koju sam pronašao na netu.

Re: Krisipus

PostPoslato: Četvrtak, 03. Jun 2021, 06:48
od primus
GUI verziju programa možete preuzeti ovde. Za pokretanje programa nije potrebno da imate instaliran Python na računaru.