Question

In: Computer Science

Prove that (m → s) → (¬s → ¬m) ⇔ 1 using Boolean algebra and Propositional...

Prove that (m → s) → (¬s → ¬m) ⇔ 1 using Boolean algebra and Propositional calculus

Solutions

Expert Solution

In first order logic, the conditional

A -> B A V B,

Using this,

(m->s) -> (s -> m)    (m->s) V (s -> m)

(m V s) V ( (s) V m)

(m V s) V ( m V s)

Now consider A = (s V m),

A V A

1

This completes our proof.


Related Solutions

Assume B is a Boolean Algebra. Prove the following statement using only the axioms for a...
Assume B is a Boolean Algebra. Prove the following statement using only the axioms for a Boolean Algebra properties of a Boolean Algebra. Uniqueness of 0: There is only one element of B that is an identity for + please include all the steps.
2)Prove, using Boolean Algebra theorems, that the complement of XOR gate is XNOR gate(Hint : Prove...
2)Prove, using Boolean Algebra theorems, that the complement of XOR gate is XNOR gate(Hint : Prove that AB + AB = AB + ABby using De-Morgan’s theorem)3)Draw the K-Map for the following Boolean function. Obtain the simplified Sum of Products (SOP) expression, using the K-Map minimization procedure .?(????)=∑?(1,2,3,5,7,9,11,13)
2)Prove, using Boolean Algebra theorems, that the complement of XOR gate is XNOR gate (Hint :...
2)Prove, using Boolean Algebra theorems, that the complement of XOR gate is XNOR gate (Hint : Prove that AB + AB = AB + AB by using De-Morgan’s theorem)
Use boolean algebra to prove that: (A^- *B*C^-) + (A^- *B*C) + (A* B^- *C) +...
Use boolean algebra to prove that: (A^- *B*C^-) + (A^- *B*C) + (A* B^- *C) + (A*B* C^-) + (A*B*C)= (A+B)*(B+C) A^- is same as "not A" please show steps to getting the left side to equal the right side, use boolean algebra properties such as distributive, absorption,etc
3. Simplify the following expressions using the properties of boolean algebra : 3A)    S(A,B,C) = A'B'C...
3. Simplify the following expressions using the properties of boolean algebra : 3A)    S(A,B,C) = A'B'C + A'BC + AB'C + ABC 3B) F(A,B,C) = A'B'C' + A'B'C + AB'C' + AB'C + ABC' + ABC
1. Use Boolean algebra to simplify the following Boolean expressions to expressions containing a minimum number...
1. Use Boolean algebra to simplify the following Boolean expressions to expressions containing a minimum number of literals: (a) A’C’ + A’BC + B’C (b) (A + B + C)’(ABC)’ (c) ABC’ + AC (d) A’B’D + A’C’D + BD (e) (A’ + B)’(A’ + C’)’(AB’C)’ (f) (AE + A’B’)(C’D’ + CD) + (AC)’ 2. Obtain the truth table of the function F = (AB + C)(B + AC), express the function F in sum-of-minterms and product-of-maxterms forms, and express...
Digital Logic Design Lab Prove the following Boolean Algebra theorems and properties by constructing Logic Circuits...
Digital Logic Design Lab Prove the following Boolean Algebra theorems and properties by constructing Logic Circuits for each theorem/properties using our educational simulation software: Q1-a) The Distributive Property:     a + ( b . c ) = ( a + b ) . ( a + c ) Q1-b) The Distributive Property:     a . ( b + c ) = ( a . b ) + ( a . c )
Digital Logic Design Lab Prove the following Boolean Algebra theorems and properties by constructing Logic Circuits...
Digital Logic Design Lab Prove the following Boolean Algebra theorems and properties by constructing Logic Circuits for each theorem/properties using our educational simulation software: Q2-a) Prove that:            aa’ = 0 Q2-b) Prove that:           a+a’=1
Simplify the equation using Boolean algebra properties. F = xy + xy’z + x’yz
Simplify the equation using Boolean algebra properties. F = xy + xy’z + x’yz
Propositional Logic Using operator properties and other logical equivalences (not truth tables), prove these statements. 1....
Propositional Logic Using operator properties and other logical equivalences (not truth tables), prove these statements. 1. ((p→r)∧(q→r)∧(p∨q))→r (tautology) 2. ¬(q→p)∧(p∧q∧s→r)∧p (contradiction) 3. (p→q)∧(p→r)≡p→(q∧r)
ADVERTISEMENT
ADVERTISEMENT
ADVERTISEMENT