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)