OK this is the first assignment I have in this class and I can't figure out how to negate and simplify the logical structure of W <--> S (bi-conditional implication)(adsbygoogle = window.adsbygoogle || []).push({});

I got this so far:

~[(W --> S) ^ (S --> W)] by Definition

~(W --> S) v ~(S --> W) by DeMorgan's Law

~(~W v S) v ~(~S v W) by Simplification of Implication

I just don't know where to go to from here. I know the end result would make W <--> S equivalent to W (XOR) S.

**Physics Forums | Science Articles, Homework Help, Discussion**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Simple Discrete Structures problem

**Physics Forums | Science Articles, Homework Help, Discussion**