Lepsi izpis formul.
Nekaj primerov za testiranje.
Popravek izračuna implikacije, #5.