Deduction put the following compound statements into symbolic form using X Y Z to represent the simple statements and the logical connectives ~ & v --> =.

"Argentina will reduce unemployment, if Brazil will cut taxes."