Added BoolExp classes in the Logic Question function