KomputerTeknologi maklumat

Operasi logik yang mudah dalam komputer

Sesiapa yang mula belajar sains komputer, mengajar binari sistem nombor. Ia digunakan untuk mengira operasi logik. Pertimbangkan semua operasi logik yang paling asas berikut dalam bidang sains komputer. Lagipun, jika anda berfikir tentang hal itu, ia digunakan untuk mencipta logik komputer dan peranti.

penafian

Sebelum memulakan untuk mempertimbangkan secara terperinci contoh-contoh khusus menyenaraikan asas operasi logik dalam komputer:

  • penafian;
  • selain itu;
  • pendaraban;
  • mengikuti;
  • kesaksamaan.

Juga, sebelum memulakan kajian operasi logik untuk mengatakan bahawa dalam Sains Komputer pembohongan ditetapkan "0", tetapi yang benar "1".

Untuk setiap tindakan, kerana dalam matematik normal, tanda-tanda berikut operasi logik yang digunakan dalam bidang sains komputer: ¬, v, &, ->.

Setiap tindakan yang mungkin untuk menggambarkan apa-apa nombor 1/0, atau ungkapan hanya logik. Untuk memulakan pertimbangan logik matematik dengan operasi yang mudah dengan hanya menggunakan satu pembolehubah.

penafian logik - operasi penyongsangan. Dasarnya adalah bahawa jika ungkapan awal - kebenaran, hasilnya penyongsangan adalah - satu pembohongan. Sebaliknya, jika ungkapan awal - satu pembohongan, maka hasilnya akan menjadi penyongsangan - kebenaran.

Apabila menulis ungkapan ini kita menggunakan notasi yang berikut "¬A".

Kami memberi jadual kebenaran - litar yang menunjukkan semua keputusan mungkin operasi bagi apa-apa data sumber.

Jadual kebenaran untuk penyongsangan
A x mengenai
¬A mengenai x

Iaitu, jika kita mempunyai ungkapan asal - benar (1), maka penafian ini salah (0). Dan jika ungkapan awal - salah (0), maka penafian - benar (1).

selain

Operasi selebihnya memerlukan dua pembolehubah. Menandakan satu ungkapan - A kedua - B. operasi logik dalam komputer menandakan operasi tambahan (atau Pemisahan), atau apabila bertulis yang ditetapkan oleh perkataan "atau", atau ditandakan "v". Menulis pilihan yang mungkin untuk data dan keputusan pengiraan.

  1. E = 1, n = 1, maka E v n = 1. Jika kedua-dua kalimah itu adalah benar, maka Pemisahan mereka juga benar.
  2. E = 0, n = 1, akibat E v n = 1 E = 1, n = 0, maka E v n = 1. Jika Sekurang-kurangnya satu ungkapan adalah benar, maka hasil daripada penambahan adalah benar.
  3. E = 0, H = 0, hasilnya adalah E v H = 0. Jika kedua-dua kalimah itu adalah palsu, maka jumlah mereka juga - satu pembohongan.

Untuk keringkasan, kami membuat jadual kebenaran.

Pemisahan
E x x mengenai mengenai
H x mengenai x mengenai
E v H x x x mengenai

pendaraban

Setelah ditangani dengan operasi penambahan, bergerak ke pendaraban (konjungsi). Kami menggunakan simbol yang sama, yang telah diberikan di atas untuk penambahan. Apabila menulis pendaraban logik ditandakan oleh "&" simbol atau huruf "I" itu.

  1. E = 1, n = 1, maka E & H = 1. Jika kedua-dua kalimah itu adalah benar, maka bersama mereka - benar.
  2. Jika sekurang-kurangnya salah satu daripada ungkapan - satu pembohongan, maka hasil darab logik adalah juga satu pembohongan.
  • E = 1, N = 0, jadi E & H = 0.
  • E = 0, n = 1, maka E & H = 0.
  • E = 0, H = 0, sejumlah E & H = 0.
bersempena
E x x 0 0
H x 0 x 0
H & E x 0 0 0

keputusan

Urutan logik operasi (implikasi) - salah satu daripada logik matematik yang paling mudah. Ia adalah berdasarkan kepada aksiom tunggal - kebenaran tidak dapat mengikuti satu pembohongan.

  1. E = 1, N =, jadi E -> N = 1. Jika pasangan adalah cinta, maka mereka boleh mencium - kebenaran.
  2. E = 0, n = 1, maka E -> N = 1. Jika pasangan yang tidak menghancurkan, mereka boleh mencium - juga mungkin benar.
  3. E = 0, H = 0, E ini -> N = 1. Jika pasangan itu tidak berada dalam cinta, kemudian mereka tidak mencium - adalah juga benar.
  4. E = 1, n = 0, hasilnya adalah E -> N = 0. Jika cinta pasangan itu, mereka tidak mencium - satu pembohongan.

Bagi memudahkan pelaksanaan operasi matematik seperti yang kita hadir jadual kebenaran.

implikasi
E x x mengenai mengenai
H x mengenai x 0
E -> H x mengenai x x

kesaksamaan

Operasi terakhir akan dianggap sebagai kesamaan identiti logik atau kesetaraan. Dalam teks, ia boleh dirujuk kepada sebagai "... jika dan hanya jika ...". Berdasarkan rumusan ini, kita menulis semua contoh untuk memulakan ini.

  1. A = 1, B = 1, maka A≡V = 1. Orang yang minum tablet jika dan hanya jika sakit. (Betul)
  2. A = 0, B = 0, hasil A≡V = 1. Man tidak minum tablet, dan kemudian hanya apabila tidak sakit. (Betul)
  3. A = 1, B = 0, jadi A≡V = 0. tablet Individu minum jika dan hanya jika tidak sakit. (Palsu)
  4. A = 0, B = 1, maka A≡V = 0. tablet Individu atau minum jika dan hanya jika sakit. (Palsu)
kesetaraan
A x mengenai x mengenai
yang x mengenai 0 x
A≡V x x mengenai mengenai

hartanah

Jadi, mempertimbangkan operasi logik yang mudah dalam bidang sains komputer, kita boleh mula untuk mengkaji beberapa sifat-sifat mereka. Seperti dalam matematik, operasi logik wujud dalam pemprosesan perintahnya. Dalam operasi besar ungkapan logik dalam kurungan dilakukan pertama. Selepas mereka, perkara pertama yang kita mengira semua nilai dalam contoh penafian. Langkah seterusnya adalah pengiraan bersama, kemudian Pemisahan itu. Hanya kemudian menjalankan operasi siasatan dan, akhirnya, kesetaraan. Pertimbangkan contoh yang kecil untuk kejelasan.

A v B & ¬V -> Pada ≡ A

Prosedur untuk melaksanakan tindakan berikut.

  1. ¬V
  2. In & (¬V)
  3. A v (V & (¬V))
  4. (A v (B & (¬V))) -> B
  5. ((A v (B & (¬V))) -> B) ≡A

Dalam usaha untuk menyelesaikan contoh ini, kita perlu membina jadual kebenaran diperluaskan. Apabila ia dibuat, ingat bahawa ruang adalah lebih baik diletakkan dalam susunan yang sama di mana akan dijalankan dan tindakan.

contoh penyelesaian
A yang

¬V

In & (¬V)

A v (V & (¬V))

(A v (B & (¬V))) -> B

((A v (V & (¬V))) -> B) ≡A

x mengenai x mengenai x x x
x x mengenai mengenai x x x
mengenai mengenai x mengenai mengenai x mengenai
mengenai x mengenai mengenai mengenai x mengenai

Seperti yang kita dapat lihat, hasil daripada penyelesaian sampel akan lajur terakhir. Jadual kebenaran telah membantu untuk menyelesaikan masalah dengan mana-mana data sumber yang mungkin.

kesimpulan

Dalam artikel ini saya telah membincangkan beberapa konsep logik matematik, seperti sains komputer, sifat-sifat operasi logik, dan - apa yang operasi logik sendiri. Were adalah beberapa contoh yang mudah untuk menyelesaikan masalah logik matematik dan jadual kebenaran untuk memudahkan proses ini.

Similar articles

 

 

 

 

Trending Now

 

 

 

 

Newest

Copyright © 2018 ms.unansea.com. Theme powered by WordPress.