Fungsi carian sedang dalam pembinaan.
Fungsi carian sedang dalam pembinaan.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

A Logical Model for Representing Ambiguous States in Multiple-Valued Logic Systems Model Logik untuk Mewakili Negeri Samar-samar dalam Sistem Logik Berbilang Nilai

Noboru TAKAGI, Kyoichi NAKASHIMA

  • pandangan teks lengkap

    0

  • Petikan Ini

Ringkasan:

Dalam makalah ini, kami menumpukan pada keteraturan dan fungsi nilai set. Keteraturan pertama kali diperkenalkan oleh SC Kleene dalam operasi proposisi logik ternarynya. Kemudian, M. Mukaidono menyiasat beberapa sifat fungsi ternary, yang boleh diwakili oleh operasi biasa. Dia memanggil fungsi ternary tersebut sebagai "fungsi logik ternary biasa". Fungsi logik ternari biasa berguna untuk mewakili dan menganalisis kesamaran seperti keadaan sementara atau keadaan awal dalam litar logik binari yang tidak dapat diatasi oleh fungsi Boolean. Tambahan pula, ia juga digunakan untuk kajian sistem selamat-gagal untuk litar logik binari. Dalam makalah ini, kita akan membincangkan lanjutan fungsi logik ternary biasa ke dalam r-fungsi bernilai set bernilai, yang ditakrifkan sebagai pemetaan pada set subset yang tidak kosong bagi r-set bernilai {0, 1, . . . , r-1}. Pertama, kertas itu akan menunjukkan kaedah yang mana operasi pada r-set bernilai {0, 1, . . . , r-1} boleh dikembangkan menjadi operasi pada set subset tidak kosong {0, 1, . . . , r-1}. Operasi ini akan dipanggil biasa kerana kaedah ini adalah sama dengan cara Kleene mengembangkan operasi logik binari ke dalam logik ternarinya. Akhir sekali, ungkapan eksplisit bagi fungsi bernilai set monotonik dalam subset akan dibentangkan.

Jawatankuasa
IEICE TRANSACTIONS on Information Vol.E82-D No.10 pp.1344-1351
Tarikh penerbitan
1999/10/25
Diumumkan
ISSN dalam talian
DOI
Jenis Manuskrip
PAPER
kategori
Perkakasan dan Reka Bentuk Komputer

Pengarang

Kata kunci

Contents [show]