Істинність висловлень. Побудова ДНФ та КНФ формул. Доведення тотожностей та кратності виразів заданим числам методом математичної індукції