Лабораторна робота 5 Математична логіка. Математична індукція

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