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**

Join Physics Forums Today!

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

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**