Question

In: Computer Science

1. For each of the following statements find an equivalent statement in conjunctive normal form. Show...

1. For each of the following statements find an equivalent statement in conjunctive normal form. Show the proof and truth table.

a) ¬(A ∨ B)

b) ¬(A ∧ B)

c) A ∨ (B ∧ C)

2. Is the following implication true or false? And if false, give an example that shows that it is false.

If S1 ∈ S2 and S2 ∈ S3, then S1 ∈ S3

Solutions

Expert Solution

~(A v B) => ~A ^ ~B (this is in cnf)


A    B    ~A    ~B    A v B   ~(A V B)    ~A ^ ~B

T    T     F    F       T       F           F

T    F     F    T       T       F           F
        
F    T     T    F       T       F           F   

F    F     T    T       F       T           T


Both ~(A v B) and ~A ^ ~B are same
~(A ^ B) = ~A v ~B (This is in cnf)
A    B    ~A    ~B    A ^ B   ~(A ^ B)    ~A V ~B

T    T     F    F       T       F          F

T    F     F    T       F       T          T

F    T     T    F       F       T          T

F    F     T    T       F       T          T


Both ~(A ^ B) and ~A V ~B are same
A v ( B ^ C) = (A V B) ^ (A V C) (this is cnf) 
A   B   C   B ^ C    A V B     A V C  A v ( B ^ C)  (A V B) ^ (A V C)

T   T   T     T        T        T        T                T

T   T   F     F        T        T        T                T

T   F   T     F        T        T        T                T

T   F   F     F        T        T        T                T

F   T   T     T        T        T        T                T

F   T   F     F        T        F        F                F

F   F   T     F        F        T        F                F

F   F   F     F        F        F        F                F

Both A v ( B ^ C) and  (A V B) ^ (A V C) are same
S1 ∈ S2 and S2 ∈ S3, then S1 ∈ S3 this implicaiton is alway true

Related Solutions

1. For each of the following statements find an equivalent statement in conjunctive normal form. a)...
1. For each of the following statements find an equivalent statement in conjunctive normal form. a) ¬(A ∨ B) b) ¬(A ∧ B) c) A ∨ (B ∧ C) 2. Is the following implication true or false? And if false, give an example that shows that it is false. ---> If S1 ∈ S2 and S2 ∈ S3, then S1 ∈ S3.
Are the following statements equivalent to each other? 1.a continuous rate of payment of $100 per...
Are the following statements equivalent to each other? 1.a continuous rate of payment of $100 per year 2. a continuous rate of payment of $50 semi-annually
Read the statements. Identify the form of the conditional used in each statement. Then rewrite that...
Read the statements. Identify the form of the conditional used in each statement. Then rewrite that statement according to the conditional as listed.                                                                 [1+2x2=6] If we use applications like Zoom and WebEx, lecturers struggle with classroom engagement. 23. Identify the conditional ………….. [1] 24. Rewrite the statement in the third conditional. [2] If we adjust to online learning, we must buy different devices. 25. Identify the conditional 26. Rewrite the statement in the second conditional
Express each of these statements using quantifiers. Then form the negation of the statement sothat no...
Express each of these statements using quantifiers. Then form the negation of the statement sothat no negation is to the left of a quantifier. Next, express the negation in simple English. In eachcase, identify the domain and specify the predicates. •No one has lost more than one thousand dollars playing the lottery. •There is a student in this class who has chatted with exactly one other student. •No student in this class has sent e-mail to exactly two other students...
Express each of these statements using quantifiers. Then form the negation of the statement sothat no...
Express each of these statements using quantifiers. Then form the negation of the statement sothat no negation is to the left of a quantifier. Next, express the negation in simple English. In eachcase, identify the domain and specify the predicates. •No one has lost more than one thousand dollars playing the lottery. •There is a student in this class who has chatted with exactly one other student. •No student in this class has sent e-mail to exactly two other students...
For the following find: (Show detailed working) 1) general solution of the associated homogns DE 2)  form...
For the following find: (Show detailed working) 1) general solution of the associated homogns DE 2)  form of the particular solution associated with the undetermined coefficients method. Do not evaluate coefficients a) (d2 y / dx2) - dy/dx = x - 3 b) (d2 y / dx2) + 2 dy/dx + y = (1+x)e-x + x2 c) (d2 y / dx2) + y = sin(2x)
PART 1 For each of the following statements, indicate symbolically the information given in the statement...
PART 1 For each of the following statements, indicate symbolically the information given in the statement or the question. If you are not given a numeric value, then end your equation with a “?” Example: Given that the registered voter is an independent(I), the probability the voter opposes(O) the proposition is 0.80. Answer: P(O│I) = 0.80 1. The probability that a driver will be exceeding the speed limit (E) is 0.15. 2. When a new machine is functioning properly (F),...
1. Which of the following statements is true of a normal costing system? In a normal...
1. Which of the following statements is true of a normal costing system? In a normal costing system, only the costs incurred for direct materials are used to determine unit cost. In a normal costing system, only actual costs of direct materials, direct labor, and overhead are used to determine unit cost. In a normal costing system, unit costs are determined by adding estimated direct materials, estimated direct labor, and actual overhead. In a normal costing system, unit costs are...
Find the following percentile for the standard normal distribution. Draw a sketch and show the R...
Find the following percentile for the standard normal distribution. Draw a sketch and show the R code: a. 91st percentile b. 9th percentile c. 75th percentile d. 25th percentile e. 6th percentile
Convert this into Chomsky normal form, where each rule is in the form: A --> BC...
Convert this into Chomsky normal form, where each rule is in the form: A --> BC or A --> a A --> A + B | B B --> B x C | C C --> (A) | 5
ADVERTISEMENT
ADVERTISEMENT
ADVERTISEMENT