MATEMANIJA

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.

Možeš li malo da opišeš kako program funkcioniše?

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.

GUI verziju programa možete preuzeti ovde. Za pokretanje programa nije potrebno da imate instaliran Python na računaru.