тотожне перетворення логічної функції для подання її у найпростішій формі з метою найекономнішої реалізації
