Tugas 4

 

CDOD 2 UD@IODU]C CDBIGD CIO 2 1:4=4:;6:;44:56 U]FD[ ZMQUMO]DC 5 D.ZQMUM[U 4. Audt`d Audt`dg g tdam` tdam` nmam nmamcdr cdrdc dc edri edri prlpl prlplsis sisi. i. Cio>Fdcbi` D.   ¬ D ¼ ) ∢  D 

  (  D ↕ A ) ↑ ( A ↕ D ) K.   ( ¬ D ↑ A ) ↑ ( ( ¬ D ↑ ¬ A ) ↑ D )

A.

1. Audt`dg Audt`dg tdam` tdam` nmamc nmamcdrdc drdc edri prlplsisi prlplsisi amrin amrinut2 ut2 Bind dci amrdcfndt nmndopus bind edc gdcyd bind dei omcfmcedrdi omcfmcedrdi smpmed oltlr,odnd oltlr,odnd dei omcfmcedrdi smpmed oltlr dtdu d`i edn omcfmrbdndc tufds BDVDADC 4.

D. ¬ D ¼ ) ∢  D 

D

 

U U H H

¬ D 

  ( ¬ D ∩ D )    ¬ D ¼) ∢  D 

H H U U

H H H H

(  D ↕ A ) ↑ ( A ↕ D )

A.

D

A

U U H H

U H U H K.

H H H H

  (  D ↕ A )

 

U H H U

( A ↕ D ) U H H U

 

(  D ↕ A ) ↑ ( A ↕ D ) U U U U

  ( ¬ D ↑ A ) ↑ ( ( ¬ D ↑ ¬ A ) ↑ D )  

¬ D    ¬ A

  (¬ D ↑ A )

(¬ D ↑ ¬ A)

  ¬A↑D 

  ( ¬ D ↑ A ) ↑ (( ¬ D ↑ ¬ A ) ↑

D

A

U U U U H H H

U H U H U H U

H H H H U U U

H U H U H U H

U U U U U H U

U U U U H U H

U U U U H U H

U U U U H U H

H

H

U

U

H

U

U

U

 

1. Bind dci amrdcfndt amrdcfndt nm nmndopu ndopuss bind edc edc gdcyd gdcyd bind dei dei omcfmcedr omcfmcedrdi di smpmed smpmed oltlr,od oltlr,odnd nd dei omcfmcedrdi smpmed oltlr dtdu d`i edn omcfmrbdndc tufds (D↕ A ¼ ↕ ¼ A ∩ K)

D

A

K

 K) (D↕ A ¼   ¼ A ∩ K)

(D↕ A ¼  ↕ ¼ A ∩  K)

U U U U H H H H

H H H H U U U U

U H U H U H U H

H H H H H H H H

U U U U H U H U

H H H H U H U H

A.ZL[UUM[U 4. tmctundc tmctundc hpm edc w e edri dri mnsprm mnsprmsi si `lfind `lfind amrinut2 amrinut2 D. D ∩ A ∩ K ↑ E  ( hpm edc w) D ? (D ∩ A ¼ 

A ? ( A ∩ K )

(D ∩ A ¼ ∩ ¼) A. D ∢ A ∢ K ↕ ¬ E  ( hpm edc w  D ? (D ∢ A ¼ 

A ? (K ↕ ¬ E ¼

(D ∢ A ¼ ∢ ( K ↕ ¬ E) K.   ¬ D ∢ A ↑ ¬ K  ∢  E ( aundc hpm edc w)

?(¬ D ∢ A )  A ? ¬ K  ∢ E ( ¬ D ∢ A ) ↑  (¬ K  ∢ E ¼

 D 

E. D ↑ A  ↕ ¬ K ↑ ¬ E  (hpm) D ? (D ↑ A ¼   A ? (¬ K ↑ ¬ E ¼ (D ↑ A ¼  ↕  (¬ K ↑ ¬ E ¼ M.

D ∩ A ∩ K   ↑ D ∩ A ∢ K  (aundc  (aundc hpm edc w)

 

1. Umctundc Umctundc m mnsprm nsprmsi si `lfind `lfind amrinut amrinut omcffu omcffucdndc cdndc tdam` tdam` nmamcdrdc nmamcdrdc tdutl`lfi,nlctrdeinsi edc nlckicfmc. D. D ↑ ¼ ↑ D ) (KLCUICFMC)

D

A

U U H H

U H U H

 

¼  ↑ D )

D ↑ ¼ ↑ D )

U H U U

U H U U

A.   ¼  ↑ D ) ↑ D  (KLCUICFMC)  (KLCUICFMC)

D

A

U U H H

U H U H

 

¼  ↑ D )

 

U H U U

¼ ↑ D ) ↑ D 

U U U H

K.   ¬ ( ¬ D ↑ D )   (KLCUICFMC)

D   ¬ D    ¬ ( ¬ D ↑ D )  U U H H

H H U U

U U H H

E.   ¼  ↑ ¬ D ) ↑ ¼ ↑ D ) (KLCUICFMC)

 

¬ D    ¬ A   ¼ ↑ ¬ D )

 

¼ ↑ D )

 

¼  ↑ ¬ D ) ↑ ¼ ↑ D )

D

A

U U U U H H H

U H U H U H U

H H H H U U U

H U H U H U H

U H U H U U U

U U U U H U H

U U U U H H H

H

H

U

U

U

U

U

 

 

M.

 

D

A

K

U U U U H H H H

H H H H U U U U

U H U H U H U H

( D ↑ ( A ↑K ) ¼ ↑ ¼ ) ↑ (  D ↑K  ) (UD]UL@LFI)

  ( A ↑K ) U U U U U H U H

  ¼  ↑ A )

H H H H U U U U

  (  D ↑K  ) U H H H U U U U

( D ↑ ( A ↑K ) ¼ ↑ ¼ ) ↑ (  D ↑K  ) U U U U U U U U