Laws Distributive Complement (алb)v(алс) 3 an(bvc) = T av¬a (avb)^(avc) = av(bac) ал-а Commutative -T = F avb bva -F = T anb Бла Identity De Morgan's алт = a -(anb) -av-b avF = a -(avb) -an-b Double...

Reduce the proposition ((s∨F)→w)∧(w→¬¬s) to s↔w using laws, including de Morgan's and conditional. Please put them in order, I attached a photo of the laws that can be used.

Thanks!

Laws<br>Distributive<br>Complement<br>(алb)v(алс) 3<br>an(bvc)<br>= T<br>av¬a<br>(avb)^(avc) =<br>av(bac)<br>ал-а<br>Commutative<br>-T<br>= F<br>avb<br>bva<br>-F<br>= T<br>anb<br>Бла<br>Identity<br>De Morgan's<br>алт<br>= a<br>-(anb)<br>-av-b<br>avF<br>= a<br>-(avb)<br>-an-b<br>Double negation<br>Conditional<br>= a<br>a-b<br>¬avb<br>ab<br>(a→b)^(b→a)<br>II<br>II<br>II<br>

Extracted text: Laws Distributive Complement (алb)v(алс) 3 an(bvc) = T av¬a (avb)^(avc) = av(bac) ал-а Commutative -T = F avb bva -F = T anb Бла Identity De Morgan's алт = a -(anb) -av-b avF = a -(avb) -an-b Double negation Conditional = a a-b ¬avb ab (a→b)^(b→a) II II II

Jun 07, 2022

SOLUTION.PDF

Laws Distributive Complement (алb)v(алс) 3 an(bvc) = T av¬a (avb)^(avc) = av(bac) ал-а Commutative -T = F avb bva -F = T anb Бла Identity De Morgan's алт = a -(anb) -av-b avF = a -(avb) -an-b Double...

Get Answer To This Question

Related Questions & Answers

Submit New Assignment