NAMA : TALIMATUN NAJIHA

NIM : 201510370311047

TUGAS 6

B. POSTEST

1.hilangkan perangkai → dan ↔ dan ekspresi logika berikut ini dan sederhanakan lagi jika
memungkinkan:

A. (A → B ¿ ∩(B → C)

B. (A→ B ¿ ↔( ( A ∩ B ) → B)

(A→ B ¿ ↔( ( A ∩ B ) → B)

((¬A ∪ B ¿→ ¿ ∪ B ¿∪ B ¿ ∩(¬ B ∪( A ∩ B))¿ =H.impilkasi

((¬A ∪ B ¿→ ¿ ∪ B ¿∪ B ¿ ∩(¬ B ∪( A ∩ B))¿ =H.impilkasi

(¬(¬A ∪ B ¿∪ ¿ ∪ B ¿∪ B ¿ ∩(¬ B ∪( A ∩ B))¿ =H.D’morgan

(¬(¬A ∪ B ¿∪ ¿ ¿ ∩¿=H.D’morgan

((A ∪ ¬ B ¿ ∪¿ ∪ B ¿∩((( A ∩ B))) ∩¬ B ¿ ∩(B ∩) ¬( A ∩ ¬ B) = H.negasi ganda

(A ∪ ¬ B ¿ =H.D’morgan

(( A ∩( B ∩¬ B) ¿∩ B ¿ ∩( A ∩(B ∩¬ B)) ∩B ¿ ¿ ∪¿ = H.absorbsi

A∪( A ∩¬ B) = H. idemponten

A = H.absorbsi

2. sederhanakan bentuk logika berikut menhadi yang paling sederhana

a. A∩ ( ¬ A → A )
A∩ ( ¬ A → A )
A∩ ( ¬¬ A ∪ A ) =H .BIIMPLIKASI
A∩ ( A ∪ A ) = H.negasi gands
3. buktikan dua ekspresi logika berikut ekuevalen dengan penyederhanaan

A. ¬(¬ ( A ∩ B ) VA ¿≡ 1 (( A → B ) → A ¿ ≡ 1

A B 1 A∩B ¬(¬ ( A ∩ B ) VA ¿
T T T T T
T F T F T
F T T F F
F F T F F

A B 1 A→B (( A → B ) → A ¿
T T T T T
T F T F T
F T T T F
F F T T F

B. ¬ ( ¬ A ∪¬ ( B∪ C ) ) ≡ ( A ∩ B ) ∪ ( A ∩C) = ( A → ( B → C ) ) ≡ ( A → B ) →( A →C )

A B C (¬ (B ∪ C )) ¬ ( ¬ A ∪¬ ( B∪ C ) ) ( A ∩ B) ( A ∩C) ( A ∩ B ) ∪( A ∩C)
T F T T T T T T
T F F F T F F F
T T T T T T T T
T T F T T F F F
F F T T T F F F
F F F F F F F F
F T T T T F F F
F T F T T F F F

A B C ( ( B →C ) ) ( A → (B → C)) ( A → B) ( A →C ) ( A → B ) ∪( A → C)
T F T T T F T T
T F F T T F F T
T T T T T T T T
T T F F F T F F
F F T T T T T T
F F F T T T T T
F T T T T F T T
F T F F T F T T