Binary Logic Problems