The output permutation for the multiple-valued logic minimization with universal literals | IEEE Conference Publication | IEEE Xplore