Logical foundations of intelligent systems

Laboratory work 1 - find the number of sub-queries in the formula of propositional logic

Laboratory work 2 - to check whether the formula is valid (tautology)