I want to translate logical formulas into arrays and calculate with them. First of all it should input the number of circumstances. Then the given name of the formula. Then the
