Минимальные тавтологии и противоречия в конечно-многозначной логикестатья