Finished C translations for boolean logic, as well as conditional expression.