https://thebossmind.com/permutation-exchanging-formulas-in-logic/