Translate the following statements into symbolic form using capital letters to represent affirmative English statements.
If either Lockheed Martin or Raytheon floods the world with weapons of war, then neither General Dynamics nor Boeing reduces the likelihood of armed conflict.