Converted infix || and && into and and or in translation.