Bagian situs
Pilihan Editor:
- Sirkuit mikro digital - untuk pemula (pelajaran_10) - Materi teori - Simbol Teori K176IE4
- Cara kerja sistem Anggaran Elektronik Cara memasang petunjuk anggaran elektronik
- Rumus kombinatorik 5 dari 20 berapa kombinasinya
- Sistem pengisian tiket
- Pangsa Yandex di pasar pencarian Internet Rusia menunjukkan rekor penurunan
- Unduh gratis Antivirus ESET NOD32 versi Rusia
- Mengukur parameter speaker subwoofer hingga kecil Jika Anda baru di Forum kami
- Cara menyambung ke Internet di Motif: petunjuk langkah demi langkah untuk pengaturan
- Ikon Tahun Baru untuk windows 7
- Cara memperbesar payudara
Periklanan
3 membuat tabel kebenaran untuk ekspresi logis. Fungsi logika lainnya |
Berdasarkan: demo Opsi Ujian Negara Bersatu dalam ilmu komputer untuk tahun 2015, berdasarkan buku teks oleh Lyudmila Leonidovna Bosova Di bagian 1 sebelumnya, kami membahas dengan Anda operasi logika Disjungsi dan Konjungsi, yang tersisa bagi kami hanyalah menganalisis inversi dan melanjutkan ke penyelesaian tugas Ujian Negara Bersatu. Pembalikan
Karakter berikut digunakan untuk menulis inversi: NOT, `¯`, ` ¬ ` Inversi didefinisikan tabel berikut kebenaran:
Pernyataan kompleks apa pun dapat ditulis dalam bentuk ekspresi logis — ekspresi yang berisi variabel logika, tanda operator logika, dan tanda kurung. Operasi logika dalam ekspresi logika dilakukan dengan urutan sebagai berikut: inversi, konjungsi, disjungsi. Anda dapat mengubah urutan operasi menggunakan tanda kurung. Operasi logika memiliki prioritas sebagai berikut: inversi, konjungsi, disjungsi. Jadi, di hadapan kita ada tugas No. 2 dari Unified State Examination bidang ilmu komputer tahun 2015
Apa yang membuat penyelesaian masalah menjadi lebih mudah adalah bahwa dalam setiap versi ekspresi kompleks F hanya ada satu operasi logika: perkalian atau penjumlahan. Dalam hal perkalian /\ jika paling sedikit satu variabel sama dengan nol, maka nilai seluruh ekspresi F juga harus sama dengan nol. Dan dalam kasus penjumlahan V, jika paling sedikit satu variabel sama dengan satu, maka nilai seluruh ekspresi F harus sama dengan 1. Data yang ada di tabel untuk masing-masing 8 variabel ekspresi F sudah cukup untuk kita selesaikan. Mari kita periksa ekspresi nomor 1:
Mari kita periksa ekspresi nomor 2:
Mari kita periksa ekspresi nomor 3:
Mari kita periksa ekspresi nomor 4:
Saat menyelesaikan tugas pada ujian negara terpadu, Anda perlu melakukan hal yang persis sama: membuang opsi-opsi yang jelas-jelas tidak sesuai berdasarkan data dalam tabel. Tersisa pilihan yang memungkinkan(seperti dalam kasus kami, opsi nomor 2) akan menjadi jawaban yang benar. Masalah dalam menentukan kebenaran suatu ungkapan dihadapi oleh banyak ilmu pengetahuan. Setiap disiplin pembuktian harus didasarkan pada beberapa kriteria kebenaran bukti. Ilmu yang mempelajari kriteria tersebut disebut aljabar logika. Postulat utama aljabar logika adalah bahwa setiap pernyataan yang paling rumit dapat direpresentasikan sebagai ekspresi aljabar dari pernyataan yang lebih sederhana, yang benar atau salahnya mudah ditentukan. Untuk setiap operasi “aljabar” pada suatu pernyataan, suatu aturan ditentukan untuk menentukan benar atau salahnya pernyataan yang dimodifikasi, berdasarkan benar atau salahnya pernyataan asli. Aturan-aturan ini ditulis secara menyeluruh tabel kebenaran ekspresi. Sebelum menyusun tabel kebenaran, Anda perlu mengenal lebih dekat aljabar logika. Transformasi aljabar ekspresi logisEkspresi logis apa pun, serta variabelnya (pernyataan), mengambil dua nilai: kebohongan atau kebenaran. Salah dilambangkan dengan nol, dan kebenaran dilambangkan dengan satu. Setelah memahami domain definisi dan rentang nilai yang dapat diterima, kita dapat mempertimbangkan operasi aljabar logika. PenyangkalanNegasi dan inversi- transformasi logis paling sederhana. Ini sesuai dengan partikel "tidak". Transformasi ini hanya membalikkan pernyataan tersebut. Dengan demikian, makna pernyataan tersebut juga berubah menjadi sebaliknya. Jika pernyataan A benar, maka “bukan A” salah. Misalnya pernyataan “sudut siku-siku adalah sudut yang besarnya sembilan puluh derajat” adalah benar. Maka penolakannya "sudut siku-siku tidak sama dengan sembilan puluh derajat" adalah sebuah kebohongan. Tabel kebenaran untuk negasi akan menjadi seperti ini: PemisahanOperasi ini mungkin biasa atau ketat, hasilnya akan bervariasi. Disjungsi atau penambahan logis yang biasa berhubungan dengan konjungsi "atau". Benar jika setidaknya salah satu pernyataan yang termasuk di dalamnya benar. Misalnya ungkapan “Bumi itu bulat atau berdiri di atas tiga tiang” akan benar, karena pernyataan pertama benar, sedangkan pernyataan kedua salah. Disjungsi tegas atau penjumlahan modulo disebut juga "eksklusif atau". Operasi ini dapat berbentuk konstruksi gramatikal “satu dari dua: baik… atau…”. Di sini, nilai ekspresi logika akan salah jika semua pernyataan yang ada di dalamnya memiliki kebenaran yang sama. Artinya, kedua pernyataan tersebut benar secara bersamaan atau salah secara bersamaan. Tabel eksklusif atau Implikasi dan kesetaraanImplikasinya adalah konsekuensi dan secara tata bahasa dapat dinyatakan sebagai “dari A mengikuti B.” Pernyataan A disebut premis dan pernyataan B disebut konsekuensi. Suatu implikasi bisa salah hanya dalam satu kasus: jika premisnya benar dan konsekuensinya salah. Artinya, kebohongan tidak bisa muncul dari kebenaran. Dalam semua kasus lainnya, implikasinya benar. Pilihan ketika kedua pernyataan memiliki kebenaran yang sama tidak menimbulkan pertanyaan. Tetapi mengapa konsekuensi yang benar dari premis yang salah bisa menjadi benar? Intinya adalah segala sesuatu bisa muncul dari premis yang salah. Inilah yang membedakan implikasi dengan kesetaraan. Dalam matematika (dan disiplin ilmu demonstratif lainnya), implikasi digunakan untuk menunjukkan kondisi yang diperlukan. Misalnya, pernyataan A adalah “titik O adalah titik ekstrem suatu fungsi kontinu”, pernyataan B adalah “turunan fungsi kontinu di titik O menjadi nol”. Jika O memang merupakan titik ekstrem suatu fungsi kontinu, maka turunan pada titik tersebut memang sama dengan nol. Jika O bukan titik ekstrem, maka turunan pada titik ini mungkin nol atau tidak. Artinya, B diperlukan untuk A, namun tidak cukup. Tabel kebenaran untuk implikasinya terlihat seperti ini: Operasi logis dari kesetaraan pada dasarnya adalah implikasi timbal balik. “A setara dengan B” berarti “dari A mengikuti B” dan “dari B mengikuti A” pada saat yang bersamaan. Kesetaraan dikatakan benar jika kedua pernyataan benar atau salah secara bersamaan. Dalam matematika, kesetaraan digunakan untuk menentukan kondisi perlu dan cukup. Misalnya, pernyataan A - “Titik O adalah titik ekstrem suatu fungsi kontinu”, pernyataan B - “Di titik O, turunan fungsi tersebut menjadi nol dan berubah tanda.” Kedua pernyataan ini setara. B berisi kondisi perlu dan cukup untuk A. Perhatikan bahwa di dalam contoh ini pernyataan B sebenarnya merupakan gabungan dari dua pernyataan lainnya: “turunan di titik O menjadi nol” dan “turunan di titik O berubah tanda”. Fungsi logika lainnyaDi atas kita membahas operasi logika dasar yang sering digunakan. Ada fungsi lain yang digunakan:
Konstruksi tabel kebenaranUntuk membuat tabel kebenaran untuk ekspresi logika apa pun, Anda harus bertindak sesuai dengan algoritme:
Akibatnya, kolom terakhir akan menampilkan nilai seluruh ekspresi bergantung pada nilai variabel. Perhatian khusus harus diberikan urutan tindakan logis. Bagaimana cara mendefinisikannya? Di sini, seperti dalam aljabar, ada aturan yang menentukan urutan tindakan. Mereka dilakukan dengan urutan sebagai berikut:
ContohUntuk memantapkan materi, Anda dapat mencoba membuat tabel kebenaran untuk ekspresi logika yang disebutkan sebelumnya. Mari kita lihat tiga contoh:
Pukulan SchaefferGoresan Schaeffer adalah ekspresi Boolean yang dapat ditulis sebagai "bukan (A dan B)". Ada dua variabel dan dua tindakan. Konjungsinya ada di dalam tanda kurung, artinya dieksekusi terlebih dahulu. Tabel akan memiliki header dan empat baris dengan nilai variabel, serta empat kolom. Mari kita isi tabelnya:
Negasi suatu konjungsi tampak seperti disjungsi negasi. Hal ini dapat diverifikasi dengan membuat tabel kebenaran untuk ungkapan “bukan A atau bukan B”. Lakukan ini sendiri dan perhatikan bahwa sudah ada tiga operasi di sini. panah PierceMengingat Panah Peirce yang merepresentasikan negasi disjungsi "bukan (A atau B)", mari kita bandingkan dengan konjungsi negasi "bukan A dan bukan B". Mari kita isi dua tabel:
Arti dari ungkapan-ungkapan itu bertepatan. Setelah mempelajari kedua contoh tersebut, kita dapat mengambil kesimpulan tentang cara membuka tanda kurung setelah negasi: negasi diterapkan pada semua variabel dalam tanda kurung, konjungsi berubah menjadi disjungsi, dan disjungsi berubah menjadi konjungsi. Definisi kesetaraanKita dapat mengatakan tentang pernyataan A dan B bahwa keduanya ekuivalen jika dan hanya jika A mengikuti dari B dan B mengikuti dari A. Mari kita tuliskan ini sebagai ekspresi logis dan buat tabel kebenarannya. "(A setara dengan B) setara dengan (dari A mengikuti B) dan (dari B mengikuti A)." Ada dua variabel dan lima tindakan. Kami membuat tabel: Semua nilai di kolom terakhir adalah benar. Artinya definisi kesetaraan di atas berlaku untuk semua nilai A dan B. Artinya selalu benar. Itu benar menggunakan tabel kebenaran Anda dapat memeriksa kebenaran definisi dan konstruksi logis apa pun. Durasi pelajaran: 45 menit Jenis pelajaran: digabungkan:
Tujuan pelajaran:
Rencana pelajaran:
Peralatan dan materi perangkat lunak:
Kemajuan pelajaran I. Momen organisasi Kami terus mempelajari topik “Dasar-Dasar Logika”. Dalam pelajaran sebelumnya, kita melihat bahwa logika sangat erat kaitannya dengan kehidupan kita sehari-hari, dan kita juga melihat bahwa hampir semua pernyataan dapat ditulis sebagai rumus. II. Pengulangan materi dari pelajaran sebelumnya Mari kita ingat definisi dan konsep dasar:
AKU AKU AKU. Penjelasan materi baru Dua contoh terakhir mengacu pada pernyataan kompleks. Bagaimana cara menentukan kebenaran pernyataan kompleks? Kami bilang itu sudah dihitung. Untuk tujuan ini, dalam logika terdapat tabel untuk menghitung kebenaran pernyataan majemuk (kompleks). Ini disebut tabel kebenaran. Jadi topik pelajarannya adalah TABEL KEBENARAN. 3.1) Definisi. Tabel kebenaran adalah tabel yang menunjukkan kebenaran suatu pernyataan kompleks untuk semua kemungkinan nilai variabel masukan (Gambar 1). 3.2) Mari kita teliti lebih detail setiap operasi logika sesuai dengan definisinya: 1. Inversi (negasi) adalah operasi logika yang mengasosiasikan setiap pernyataan sederhana dengan pernyataan majemuk, artinya pernyataan aslinya dinegasikan. Operasi ini hanya berlaku untuk satu variabel, jadi saja dua garis, karena satu variabel dapat memiliki salah satu darinya dua nilai: 0 atau 1. 2. Konjungsi (perkalian) adalah operasi logika yang menghubungkan setiap dua pernyataan sederhana dengan pernyataan majemuk yang benar jika dan hanya jika kedua pernyataan awal benar. Sangat mudah untuk melihat bahwa tabel ini memang mirip dengan tabel perkalian. 3. Disjungsi (penjumlahan) adalah operasi logika yang menghubungkan setiap dua pernyataan sederhana dengan pernyataan majemuk yang salah jika dan hanya jika kedua pernyataan awal salah. Anda dapat memastikan bahwa tabel tersebut mirip dengan tabel penjumlahan kecuali pada langkah terakhir. Dalam sistem bilangan biner 1 + 1 = 10, dalam sistem bilangan desimal – 1 + 1 = 2. Secara logika, nilai variabel 2 tidak mungkin, mari kita pertimbangkan 10 dari sudut pandang logika: 1 – benar, 0 – salah, yaitu 10 benar dan salah pada saat yang sama, yang tidak mungkin benar, jadi tindakan terakhir didasarkan pada definisi. 4. Implikasi (berikut) adalah operasi logika yang menghubungkan masing-masing dua pernyataan sederhana dengan pernyataan majemuk yang salah jika dan hanya jika kondisinya benar dan konsekuensinya salah. 5. Kesetaraan (ekivalensi) adalah operasi logika yang menghubungkan masing-masing dua pernyataan sederhana dengan pernyataan majemuk yang bernilai benar jika dan hanya jika kedua pernyataan awal bernilai benar atau salah secara bersamaan. Dua operasi terakhir telah kita bahas pada pelajaran sebelumnya. 3.3) Mari kita lihat algoritma tabel kebenaran untuk pernyataan kompleks: 3.4) Perhatikan contoh penyusunan tabel kebenaran untuk pernyataan kompleks: Contoh. Buatlah tabel kebenaran rumus: A U B -> ¬A U C. Solusi (Gambar 2) Contoh tersebut menunjukkan bahwa tabel kebenaran bukanlah keseluruhan keputusan, melainkan hanya tindakan terakhir (kolom disorot dengan warna merah). IV. Konsolidasi. Untuk memantapkan materi, Anda diminta untuk menyelesaikan sendiri contoh di bawah huruf a, b, c, dan tambahan d–g (Gambar 3). V. Pekerjaan rumah, generalisasi materi. Pekerjaan rumah juga diberikan kepada Anda di layar monitor (Gambar 4) Ringkasan materi: Hari ini dalam pelajaran kita belajar bagaimana menentukan kebenaran pernyataan majemuk, tetapi lebih dari sudut pandang matematika, karena Anda tidak diberikan pernyataan itu sendiri, tetapi rumus yang menampilkannya. Dalam pelajaran berikut kita akan mengkonsolidasikan keterampilan ini dan mencoba menerapkannya untuk memecahkan masalah logika. Definisi 1 Fungsi logika– fungsi yang variabelnya mengambil salah satu dari dua nilai: $1$ atau $0$. Fungsi logika apa pun dapat ditentukan menggunakan tabel kebenaran: himpunan semua argumen yang mungkin ditulis di sisi kiri tabel, dan nilai fungsi logika yang sesuai ditulis di sisi kanan. Definisi 2 Tabel kebenaran– tabel yang menunjukkan nilai apa yang akan diambil oleh ekspresi majemuk untuk semua kemungkinan kumpulan nilai ekspresi sederhana yang disertakan di dalamnya. Definisi 3 Setara disebut ekspresi logika yang kolom terakhir tabel kebenarannya bertepatan. Kesetaraan ditunjukkan dengan menggunakan tanda $«=»$. Saat menyusun tabel kebenaran, penting untuk mempertimbangkan urutan operasi logika berikut: Gambar 1. Tanda kurung diutamakan dalam menjalankan urutan operasi. Algoritma untuk membuat tabel kebenaran dari fungsi logikaTentukan jumlah baris: jumlah baris= $2^n + 1$ (untuk baris judul), $n$ – jumlah ekspresi sederhana. Misalnya, untuk fungsi dua variabel terdapat $2^2 = 4$ kombinasi kumpulan nilai variabel, untuk fungsi tiga variabel terdapat $2^3 = 8$, dst. Tentukan jumlah kolom: jumlah kolom = jumlah variabel + jumlah operasi logika. Saat menentukan jumlah operasi logika, urutan pelaksanaannya juga diperhitungkan. Isi kolom dengan hasil operasi logika dalam urutan tertentu, dengan memperhatikan tabel kebenaran operasi logika dasar. Gambar 2. Contoh 1 Buat tabel kebenaran untuk ekspresi logika $D=\bar(A) \vee (B \vee C)$. Larutan:
Mari kita tentukan jumlah barisnya: jumlah baris = $2^3 + 1=9$. Jumlah variabel – $3$. Mari kita isi tabelnya, dengan mempertimbangkan tabel kebenaran operasi logika. Gambar 3. Contoh 2 Dengan menggunakan ekspresi logis ini, buatlah tabel kebenaran: Larutan:
Mari kita tentukan jumlah barisnya: Banyaknya ekspresi sederhana adalah $n=3$, yang artinya jumlah baris = $2^3 + 1=9$. Mari kita tentukan jumlah kolom: Jumlah variabel – $3$. Jumlah operasi logika dan urutannya: Tabel kebenaran – tabel yang berisi semua kemungkinan kombinasi variabel masukan dan nilai keluarannya yang terkait. Tabel kebenaran berisi 2n baris, dengan n adalah jumlah variabel masukan, dan n+m adalah kolom, dengan m adalah variabel keluaran. instruksi. Saat memasukkan dari keyboard, gunakan notasi berikut: Misalnya, ekspresi logis abc+ab~c+a~bc harus dimasukkan seperti ini: a*b*c+a*b=c+a=b*c Aturan untuk memasukkan fungsi logis
Desain dan analisis rangkaian logika komputer dilakukan dengan menggunakan cabang matematika khusus - aljabar logika. Dalam aljabar logika, tiga fungsi logika utama dapat dibedakan: “NOT” (negasi), “AND” (konjungsi), “OR” (disjungsi).
Gambar 1 - Diagram perangkat logika Semua operasi aljabar logika didefinisikan tabel kebenaran nilai-nilai. Tabel kebenaran menentukan hasil suatu operasi semua orang mungkin x nilai logika dari pernyataan aslinya. Jumlah opsi yang mencerminkan hasil penerapan operasi akan bergantung pada jumlah pernyataan dalam ekspresi logika. Jika jumlah pernyataan dalam ekspresi logika adalah N, maka tabel kebenaran akan berisi 2 N baris, karena terdapat 2 N kombinasi berbeda dari kemungkinan nilai argumen. Operasi BUKAN - negasi logis (inversi)Operasi logika TIDAK diterapkan pada argumen tunggal, yang dapat berupa ekspresi logika sederhana atau kompleks. Hasil operasi BUKAN sebagai berikut:
bukan A, Ā, bukan A, ¬A, !A Hasil operasi negasi TIDAK ditentukan oleh tabel kebenaran berikut:
Hasil operasi negasi bernilai benar bila pernyataan awal salah, dan sebaliknya. Operasi OR - penjumlahan logis (disjungsi, penyatuan)Operasi logika OR menjalankan fungsi menggabungkan dua pernyataan, yang dapat berupa ekspresi logika sederhana atau kompleks. Pernyataan yang menjadi titik awal operasi logika disebut argumen. Hasil dari operasi OR adalah ekspresi yang benar jika dan hanya jika setidaknya salah satu ekspresi aslinya benar.Sebutan yang digunakan: A atau B, A V B, A atau B, A||B. Hasil operasi OR ditentukan berdasarkan tabel kebenaran berikut: Hasil operasi OR adalah benar jika A benar, atau B benar, atau A dan B keduanya benar, dan salah jika argumen A dan B salah. Operasi DAN - perkalian logika (konjungsi)Operasi logika AND menjalankan fungsi perpotongan dua pernyataan (argumen), yang dapat berupa ekspresi logika sederhana atau kompleks. Hasil dari operasi AND adalah suatu ekspresi yang bernilai benar jika dan hanya jika kedua ekspresi aslinya benar.Sebutan yang digunakan: A dan B, A Λ B, A & B, A dan B. Hasil operasi AND ditentukan oleh tabel kebenaran berikut:
Hasil dari operasi AND benar jika dan hanya jika pernyataan A dan B keduanya benar, dan salah dalam semua kasus lainnya. Operasi "IF-THEN" - konsekuensi logis (implikasi)Operasi ini menghubungkan dua ekspresi logika sederhana, yang pertama adalah suatu kondisi, dan yang kedua adalah konsekuensi dari kondisi ini.Sebutan yang digunakan: jika A, maka B; A memerlukan B; jika A maka B; SEBUAH→B. Tabel kebenaran:
Hasil operasi implikasi salah hanya jika premis A benar dan kesimpulan B (konsekuensi) salah. Operasi “A jika dan hanya jika B” (kesetaraan, kesetaraan)Sebutan yang digunakan: A ↔ B, A ~ B.Tabel kebenaran:
Operasi “Penambahan modulo 2” (XOR, disjungsi eksklusif atau ketat)Notasi yang digunakan: A XOR B, A ⊕ B.Tabel kebenaran:
Hasil operasi ekivalensi hanya benar jika A dan B keduanya benar atau salah pada saat yang bersamaan. Prioritas operasi logis
Bentuk normal disjungtif sempurnaBentuk normal disjungtif sempurna dari suatu rumus(SDNF) merupakan rumus ekuivalen yang merupakan disjungsi konjungsi elementer dan mempunyai sifat sebagai berikut:
Untuk setiap fungsi, SDNF dan SCNF didefinisikan secara unik hingga permutasi. Bentuk normal konjungtif sempurnaBentuk normal konjungtif sempurna dari suatu rumus (SCNF) Ini adalah rumus yang setara dengannya, yang merupakan gabungan disjungsi dasar dan memenuhi sifat-sifat:
|
Membaca: |
---|
Populer:
Baru
- Cara kerja sistem Anggaran Elektronik Cara memasang petunjuk anggaran elektronik
- Rumus kombinatorik 5 dari 20 berapa kombinasinya
- Sistem pengisian tiket
- Pangsa Yandex di pasar pencarian Internet Rusia menunjukkan rekor penurunan
- Unduh gratis Antivirus ESET NOD32 versi Rusia
- Mengukur parameter speaker subwoofer hingga kecil Jika Anda baru di Forum kami
- Cara menyambung ke Internet di Motif: petunjuk langkah demi langkah untuk pengaturan
- Ikon Tahun Baru untuk windows 7
- Cara memperbesar payudara
- Pulihkan Whatsapp di iPhone