CS607 Assignment No 3 Solution

[duresamin]

I have need CS607 Assignment No 3 Solution.please reply me urgent. 4 Jan is last date of assignment,,,,

[Xpert]

you have to upload here.

[saim]

Aoa
i need solution of cs607 please upload it today.with regard

[Xpert]

you posted it in wrong forum

[tariqshahg]

Where is the Solution ... tonight is the list night???

[Xpert]

no body haven't discuss solution with us. so how we can provide it.

[tariqshahg]

Idea Solution :

(v) (p → q)∧¬(p∨(¬q∧r)); (¬p∨q)∧(¬p∧¬(¬q∧r)); (¬p∨q)∧(¬p∧(q∨¬r));
(¬p ∨ q) ∧ ((¬p ∧ q) ∨ (¬p ∧ ¬r)); ((¬p ∨ q) ∧ (¬p ∧ q)) ∨ ((¬p ∨ q) ∧ (¬p ∧ ¬r));
((¬p ∧ (¬p ∧ q)) ∨ (q ∧ (¬p ∧ q))) ∨ ((¬p ∧ (¬p ∧ ¬r)) ∨ (q ∧ (¬p ∧ ¬r)));
(¬p∧q)∨(¬p∧q)∨(¬p∧¬r)∨(q ∧¬p∧¬r); (¬p∧q)∨(¬p∧¬r)∨(q ∧¬p∧¬r).
So a disjunctive normal form is (¬p ∧ q) ∨ (¬p ∧ ¬r) ∨ (q ∧ ¬p ∧ ¬r).
We’ll directly find a conjunctive normal form from the original term:
(p → q) ∧ ¬(p ∨ (¬q ∧ r)); (¬p ∨ q) ∧ ¬p ∧ ¬(¬q ∧ r); (¬p ∨ q) ∧ ¬p ∧ (q ∨ ¬r),
which is already a conjunctive normal form.