I need help with this problem, please list out the exact laws that were used. Simplify -(-s-(-q^-s)) to -s^q1. Select a law from the right to applyLawsDistributiveComplement-(-s-(-qA-s))(алb)v(алс)an(bvc)av-aET(avb)A(avc)av(bac)an-a E FCommutative= FavbbvaF= TanbbaIdentityDe Morgan'sant E a-(anb)-av-bavF E a-(avb)-ал-bDouble negationConditionalma E aa-b¬avbab(a-b)^(b¬a)IIIIIIIIIIIIIIIIII

Answered: Simplify -(-s→(-q^-s)) to ¬s^q

10th Edition

ISBN:9780470458365

Author:Erwin Kreyszig

Publisher:Erwin Kreyszig

Chapter2: Second-order Linear Odes

Section: Chapter Questions

Problem 1RQ

Related questions

Question

I need help with this problem, please list out the exact laws that were used.

Expert Solution

Step 1

The following laws are used to simplify the given logical expression.

Conditional Law: $\begin{array}{rcl} a & \to & b \equiv \neg a \lor b \end{array}$ .
Double Negation Law: $\begin{array}{rcl} \neg \neg a & \equiv & a \end{array}$ .
Commutative Law: $\begin{array}{rcl} a \land b & \equiv & b \land a \end{array}$ .
Redundancy Law: $\begin{array}{rcl} a \lor (\neg a \land b) & \equiv & a \lor b \end{array}$ .
De Morgan's Law: $\begin{array}{rcl} \neg (a \lor b) & \equiv & \neg a \land \neg b \end{array}$ .