pssiqniment-{ show that P>(GIR) K> (MGYR) es(prg)ye Take P>CQsrR) © P >(1QvR) [usince P24. 1pva)] @ IPN (igwR) @ (apwig)vr [ey aswcative tou] @ 1(PAG) YR [-By vemorgan’ law] & (PAQSR [v 1Pxq © p3y] - P2(G92) 25 Po (mayp) 49 (PAG) IA 2 2 show that ( PAQ)—> (PY) is a tovFaloay P 4 PAq pvg (PRad > (OYA) Trae aie T ae eae F T T aT, F T T eee F E + =. (PAG) CP YG) is & +astoloyy 3. Find the principle conjucive normal tom of the dfoimuta (ve3P) A (Qe?) ha Prin ciple Conyuctive forme! Form- for a given formuta an equivolent formula consisting ob. conjuctions of the mox teims ohly ésee ee Max tetmil for a given Number oF vorioablay ‘ ‘ a the may tem consists of disjunctions 5 Which each yoriable ov its Negation but wot forth appeatt only once. Obtaining PENE of formula (wP>Q) A (esp) (1P 28) acqasp) CP 7) 47 @4P)A( p34] [by the formula Fo4 &(p>aynasp)] CPv¥) Af Cravp)A(rpwaj)f by the formu poq Ipre] Copy) ve] a [craved Fa [Crevay vi} [ey th Yonasta eveesp] [pov (an7ay] Af Cra “Pu CrATyy] A [Geva.vCraqy] [2 pn 1Pe> F) Cc byrva) aC pvy 14) A (14 vpyyA( 1¢¥ Pvt) A(1pvavy™ A (IP VQ v17) (ey: commutative laws & PP& pl This is the requived PCNF of (7P49)A(GeP)pove that p39 38) 3 (P29) 3C P32) iS fe zoutoloqy- poe p3Q QaR PIR PalGsP) (ps) (PP) pera eel r cr F ww F F F oo a Z Please F T F 1, T ected Hun ert T T Fore T F T T ss Pelecer Meer ie iene: i FFF Tt A T ue cle P> (032) 3 (P30) > (P+) AAstA4 AAS 4 “Zt ts a tavtelgy .e find +he PONE of (pag) v(mpak)v(aar) pONFC Principle Disjunctive Normal form) — aS ee eee eon E na. For & QhOn numba of Vastoble , the min teday CONSISHS OF conjunction in ahich each vaslable TS Negation wut not both Oppeats enby ence. P28) V @PAR) V(GAR) pe CPAQAT) V(WPAR AT) V(QARAT) [PATS P) > PAGA(RVTRD) VCOPARN AVION V(GARACPV1P)) [. eviper) D CPAGAR) VC PAGATRI V (TPA R AQ)V(TPAR A 70) ¥ CQ ARAP)Y (Q NR ATP) [~ Distvioutive laws] D (PAGAR)V( PAG ATR) V(1PAG ARJV(TPATG AR) (! pvp ep]gusing the indirect method show iia P28, 437%, V(PAY) | pvvet wle incude tr as an addrtronaf premise THEN We show -that this fead’ to Conbadictiyy 0G Co ar rule. P 124 (gar yule p fy23 9 74 wuUeT CL),(2) End P34,79 1p {4 (4) pag rule p 1ya43 fs) 1P rule T C3,,C4) and P24, 27P is} (2) pvr rule P 16} CY 1p37 WET (éJand pv4e P34 furajey ¥ wuleT (5), (and PP3¢54 Saye} Gr vary ruleT CV), (8) and #43 pig YATITS’ F Heng out assumption is Or.ewe eee | ee eee pow ANOS UIE Ee. ts ad we inconsistent oO | { Let He AIDC) Heid CB AMC) Hyranc | Ki Bh Ha Hl AHg US dontradicron then it (s invowis H? Hr: Hy: Hyd, AH WC bIC Qiagpscy PAM gocpaney and T T e Ee i TA aS Dar Ann aA aw Asta om 4A 4a 0 ATAWAAA WAR APARDARARAMNMA DH e|@ AAP AAV ANAADAA AHL +4 Se PN eA aA ee en egg T E Ee T if T T r ee e E T T 1 T SNES NUN nin Sen Sa Na Ay mS Am me A ou ven HEA HAA 4g tS contradiction) the 9 Premisey ose inconsistentge show that Rus follows logically ver We Premises Cup, Cevd), Ccovojyo nly tls (Anngy ond (NA) 5 (RVS) Roa) CVO pote P $23 ©) Cevojant — Rele,P fir} oll Rule T [. P, P29 D4] fay () MHC A ANB) ‘pole P Syany 19)(8 6 WB) RuteT [76,29 34) feb (6) (anna)a(Rvs) — puileP Torey G) Rus poe T [> BP2e 3a] A Grow that Apt (P00), ¥C4) (GEV 3 Aca) a 40%) ( PLA) ~ RUM) BY 0) Ht ( p03 cw) Rute P 92) © PW > Qu) Rule US 49 ©) or) (a~secn) —- Rule P fyy i) ACY) > Rey) Rute us fray (9 Ply) ety) PuleT C Rayer tops) fey 409 (POY RO) Rae UG. universal speciafication (ACD 2 aly) cnivelcal — genetatiation :- (AO) = (¥y)ACy)