-
+1
Ovi korisnici su zahvalili autoru
primus za post:
ubavic
Reputacija: 4.35%
od primus » Petak, 28. Maj 2021, 17:42
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.
Plenus venter non studet libenter