Advanced.PermuteLogicFunction

---

Back to table

/*
Advanced-Analysis
Advanced.PermuteLogicFunction

[LogicFunction g]=Advanced.PermuteLogicFunction(LogicFunction F, var() permutationMatrix);

F : a logic object
permutationMatrix : the permutation matrix.

Permute the logic function with the given permutation matrix.

The permutation matrix should indicates the permutation involves all the variables.
*/
//-------------------------------------------------------------------
// examples
Q=AndOr()
{
    1,2;
    -2,-3;
}

[f2]=Advanced.PermuteLogicFunction(Q,var(2,1));
Print(f2);

//-------------------------------------------------------------------
// result
f2 = AndOr()
{
        1,2;
        -1,3;
}