TUGAS LOGIKA INFORMATIKA


Sederhanakanlah bentuk-bentuk logika menjadi bentuk paling sederhana
1.       A ˄ ( ¬A → A )
2.       ¬ ( ¬ A ˄ ( B ˅ ¬B)
3.       ¬ A → ¬ ( A → ¬ B )
4.       ( A → B ) → (( A → ¬ B ) → ¬ A )
5.       ( A → ( B ˅ ¬ C )) ˄ ¬A ˄ B
6.       ( ¬A ˄ B ¬( B → C )) ˄ ¬ ( A → (B → ¬ C )
7.       ( ¬A → B ) → (( ¬ A → ¬B ) → A )
8.       ( A ˄ ( ¬A ˅ B )) ˅ B ˅ ( A˄( A ˅ B))
9.       ( A ˄¬B˄A˄¬C)˅(C˄A˄¬C)

Jawaban

1.       ≡ A ˄ ( ¬A → A )
≡ A ˄ ( A ˄ A )                                             HUKUM IMPLIKASI
≡ A ˄ A                                                         HUKUM IDEMPOTEN
≡ A
2.       ≡ ¬ ( ¬ A ˄ ( B ˅ ¬B)
≡ A ˄ ( ¬ B ˅ B )                                          HUKUM NEGASI GANDA
≡ A ˄ 1                                                         TAUTOLOGI
≡ A                                                                IDENTITY OF  ˄
3.       ≡¬ A → ¬ ( A → ¬ B )
≡¬¬ A ˅ ¬ ( A →¬ B )
≡ A → B ≡ ¬A˅B
≡ ¬¬ A ˅ ¬ ( ¬A˅¬B)                                 HUKUM IMPLIKASI
≡¬¬ A ˅ (¬¬ A ˄ ¬¬ B )                             HUKUM DE MORGAN
≡ A ˅ ( A ˄ B)                                            HUKUM NEGASI GANDA
≡ A                                                              ABSORPTION
4.     ≡ ( A → B ) → (( A → ¬ B ) → ¬ A )    
      ≡ ¬ ( A ˅ ¬ B) ˅ ( ¬ ( A˅ ¬B) ˅¬A))        HUKUM IMPLIKASI
      ≡ (  ¬A ˄  B ) ˅ (  ¬A ˅  B ) ˅ ¬ A            HUKUM DE MORGAN
      ≡ (  ¬A ˄ B ) ˅ (  A ˅  B )                          
      ≡ (  ¬A ˅  B ) ˅ ¬A ˅  B                             HAPUS KURUNG
      ≡ A ˅ (  ¬A ˅  B ) ˅ B                                 KOMUTATIF
      ≡ (A ˅ (  ¬A ˅  B )) ˅ B                              TAMBAH KURUNG
      ≡ A ˅ B                                                         ABSORPTION
5.      ≡ ( A → ( B ˅ ¬ C )) ˄ ¬A ˄ B                 
      ≡ ( ¬ A ˅ ( B ˅ ¬ C)) ˄ ¬A ˄ B                   HUKUM IMPLIKASI
      ≡¬ A ˅ ( B ˅ ¬ C)) ˄ ¬A ˄ B    
      ≡  ¬ A ˄  ¬ A ˄ B                                         ABSORPTION
      ≡ A ˄ B                                                         ABSORPTION

  6.   ( ¬A ˄ ¬( B → C )) ˄ ¬ ( A → (B → ¬ C ))
     ≡  ¬(( ¬A ˄ ¬(¬ B ˅ C )) ˄ ¬ ( ¬A ˅ (¬B ˅¬ C))                  HUKUM  IMPLIKASI
     ≡   (¬( ¬A ˄ ¬(¬ B ˅ C )) ˅¬( ¬ ( ¬A ˅ (¬B ˅¬ C))              HUKUM DE MORGAN
     ≡  (¬¬A ˄¬(¬ B ˅ C )) ˅(¬ ¬ ¬A ˄¬¬ (¬B ˅¬ C))                HUKUM DE MORGAN
     ≡   (¬¬A ˄ ¬¬(¬ B ˅ C )) ˅(¬ ¬ ¬A ˄ (¬¬¬B ˅¬¬¬ C))       HUKUM DE MORGAN
     ≡   (A ˄ (¬ B ˅ C )) ˅( ¬A ˄ (¬B ˅¬C))                                HUKUM NEGASI GANDA
     ≡   (A ˄ (¬ B ˅ C )) ˅ ¬A                                                       HUKUM ABSORPSI
     ≡   ¬A ˅(A ˄ (¬ B ˅ C ))                                                         KOMUTATIF
     ≡    (¬A ˅(A ˄ (¬ B ˅ C ))                                                       TAMBAH KURUNG
     ≡  (¬A ˅ A)                                                                              HUKUM ABSORPSI
     ≡    1                                                                                         TAUTOLOGI
7.     ( ¬A → B ) → (( ¬ A → ¬B ) → A )
    ≡  ¬ ( ¬¬ A ˅ B ) ˅ (¬ (¬¬ A ˅¬ B )) ˅ A ))             HUKUM IMPLIKASI
    ≡   (¬ ¬¬ A ˄¬ B ) ˅ (¬¬¬ A ˄¬¬ B )) ˅ A ))           HUKUM DE MORGAN
    ≡   ( ¬ A ˄¬ B ) ˅ (¬ A ˄ B )) ˅ A ))                         HUKUM NEGASI GANDA
    ≡  ( ¬ A ˄¬ B ) ˅ (A ˅(¬ A ˄ B ))                              KOMUTATIF
    ≡  ( ¬ A ˄¬ B ) ˅ ¬ A                                                  HUKUM ABSORPSI
    ≡  ¬ A ˅ ( ¬ A ˄¬ B )                                                  KOMUTATIF
    ≡  ¬A                                                                           HUKUM ABSORPSI
8     ≡ ( A ˄ ( ¬A ˅ B )) ˅ B ˅ ( A˄( A ˅ B))
     ≡  ¬A ˅ B ˅ A                                               HUKUM ABSORPSI
     ≡  ¬A  ˅ A ˅ B                                              KOMUTATIF
     ≡ 1  ˅ B                                                         HUKUM NEGASI
9.    ( A ˄¬B˄A˄¬C)˅(C˄A˄¬C)
     ≡ ( A ˄ A ˄ ¬B˄¬C)˅(C˄¬C˄ A)                  KOMUTATIF
     ≡( A ˄ ¬B˄¬C)˅(1 ˄ A)                                HUKUM IDEMPOTEN DAN NEGASI
     ≡( A ˄ ¬B˄¬C)˅ A                                        HUKUM IDENTITAS
     ≡ (A  ˅ A ) ˅ ( A ˄ ¬B ) ˅ ( A ˄ ¬C )
     ≡ A  ˅ A ˄ (¬B ˅¬C )                                     HUKUM DISTRIBUTIF
      ≡  A  ˄ (¬B ˅¬C )                                          HUKUM IDEMPOTEN




Komentar

Posting Komentar

Postingan populer dari blog ini

APA ITU KOMPONEN ELEKTRONIKA?

Gambar
Hello guys, kali ini saya akan mengupas sedikit demi sedikit tentang komponen elektronika, dimulai dari pengertiannya, jenis-jenisnya, fungsinya untuk apa saja, gambarnya aslinya kayak gimana sih dan penggunaan komponen dalam pemakaian listrik seperti apa. So check this out!! Komponen elektronika   Komponen elektronika adalah elemen terkecil dalam suatu rangkaian elektronika atau deng an kata lain yaitu sebuah alat berupa benda yang menjadi bagian pendukung suatu  rangkaian elektronik  yang dapat bekerja sesuai dengan kegunaannya. Secara umum, komponen elektronika dapat dibagi atas 2 macam berdasarkan fungsi kerjanya yaitu komponen elektronika pasif dan komponen elektronika aktif. ·          Komponen Pasif adalah komponen elektronika yang dapat beroperasi tanpa memerlukan arus atau tegangan listrik tambahan saat bekerja. Contoh komponen pasif yaitu resistor, kapasitor, induktor,  dan trafo atau tranformator. ·          Komponen Aktif adalah komponen elektronika yang memerlu
Baca selengkapnya

Besaran Konseptual dan Besaran Matematis dalam Fisika

Gambar
Besaran Konseptual dan Besaran Matematis dalam Fisika                Pengertian Besaran Besaran adalah sesuatu yang dapat diukur dan dinyatakan dengan angka. Pengukuran adalah membandingkan suatu besaran dengan satuan yang dijadikan sebagai patokan.  Definisi Besaran secara fisika adalah segala sesuatu yang dapat diukur dan dinyatakan dengan angka eksak, misalnya panjang, luas, volume, dan kecepatan sedangkan warna, indah, cantik bukan termasuk besaran secara fisika karena ketiganya tidak dapat dinyatakan dengan angka eksak. Dalam fisika terdapat 2 besaran yaitu besaran konseptual dan matematis. Dimana konseptual dibagi menjadi 2  yaitu besaran pokok dan besaran turunan. Sedangkan besaran matematis terdiri dari besaran skalar dan besaran  vektor.          Sistem Satuan Internasional    Satuan  merupakan salah satu komponen besaran yang menjadi standar dari suatu besaran. Sebuah besaran tidak hanya memiliki satu satuan saja. Besaran panjang ada yang menggunakan sa
Baca selengkapnya

TUGAS LOGIKA INFORMATIKA

TUGAS LOGIKA INFORMATIKA 1).  Gunakan konstanta proporsional berikut.        A   : Bowo kaya raya        B   : Bowo hidup bahagia Selanjutnya, ubah pernyataan-pernyataan berikut ini menjadi bentuk logika 1.       Bowo  tidak kaya raya 2.       Bowo kaya raya dan hidup bahagia 3.       Bowo kaya raya atau tidak hidup bahagia 4.       Jika Bowo kaya raya, maka ia hidup bahagia 5.       Bowo hidup bahagia jika dan hanya jika ia kaya raya        JAWABAN 1.       ~A 2.       A ˄ B 3.       A ˅ ~ B 4.       A → B 5.       A ↔ B 2).   A.     : anda sakit flu       B.      : anda uiian       C.      : anda lulus Ubahlah ekspresi berikut menjadi pernyataan dalam bahasa Indonesia 1.       A→ ~ B 2.       B→ ~ C 3.       ~ B→C 4.       ( A ^ B ) → C 5.       ( A→ ~ C ) ˅ ( B→ ~ C ) 6.       ( A ˄ B ) ˅ ( ~ B ˄ C ) JAWABAN 1.       Jika anda sakit flu maka anda tidak ikut ujian 2.       Jika anda ujian maka anda tidak lulus 3
Baca selengkapnya