Im just reading this one example and i am stumped at this one step.(adsbygoogle = window.adsbygoogle || []).push({});

[tex] (R\to C) \land (S \to C) \\

(\neg R\lor C) \land (\neg S \lor C) \ \ \ \ \ \textrm{by conditional law}\\

(\neg R\land \neg S) \lor C \ \ \ \ \textrm{by distributive law}[/tex]

I don't understand how it went from the second step to the third

my attempt from the second step was:

[tex](\neg R \land \neg S) \lor (\neg R \land C) \lor (C \land \neg S) \lor C[/tex]

but don't know where to go from here.

Did I do correctly applied the distributive law?

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

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!

# I Logic and distributive laws

Tags:

Have something to add?

Draft saved
Draft deleted

Loading...

Similar Threads - Logic distributive laws | Date |
---|---|

I How to plot a scaled lognormal function | Mar 12, 2018 |

B Conditional Probability, Independence, and Dependence | Dec 29, 2017 |

B Empty domains and the vacuous truth | Dec 26, 2017 |

B About Fitch's paradox | Nov 8, 2017 |

I The truth value of ##P(x)## → ##Q(x)## | Aug 30, 2017 |

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