Yet another EiTI project - Logic for IT course. Checking if logic formula is tautology or it's satisfiable.