The algorithm has 2 steps:
Step 1 Create N! permutation cases
Step 2 In the specific case, using the De Morgan theorem :
VAR_1 && !VAR_2 && !VAR_3 && ... && !VAR_N = VAR_1 AND !OR(VAR_2, VAR_3, ... VAR_N)
similarly, we have another case:
AND(VAR_1, VAR_2) AND !OR(VAR_3, VAR_4, ..., VAR_N) AND(VAR_1, VAR_2, VAR_3) AND !OR(VAR_4, VAR5, ..., VAR_N) ... AND(VAR_1, ..., VAR_(N-1)) AND !OR(VAR_N)
source share