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 - The Fusion of Science and Community**

Dismiss Notice

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

Loading...

Similar Threads - Simple Discrete Structures | Date |
---|---|

A Linear regression with discrete independent variable | Feb 13, 2018 |

I A seemingly simple problem about probability | Jan 29, 2018 |

I A simple question about probability theory | Aug 2, 2017 |

A Advanced Data Fitting - More than Simple Regressions | Jun 22, 2017 |

I Use of R^2 adjusted in Simple Linear Regression-Excel? | Feb 23, 2017 |

**Physics Forums - The Fusion of Science and Community**