Simple Logic Problems