fix printCondBehavior for >=3 vars and printOutcome
calculate minimal circuits for 1,2,3 vars