검색 기능은 준비 중입니다.
검색 기능은 준비 중입니다.

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 다중 값 논리 시스템에서 모호한 상태를 표현하기 위한 논리 모델

Noboru TAKAGI, Kyoichi NAKASHIMA

  • 조회수

    0

  • 이것을 인용

요약 :

본 논문에서는 규칙성과 설정값 함수에 중점을 둡니다. 규칙성은 SC Kleene이 삼항 논리의 명제 연산에서 처음으로 도입했습니다. 그런 다음 M. Mukaidono는 일반 연산으로 표현될 수 있는 삼항 함수의 몇 가지 속성을 조사했습니다. 그는 이러한 삼항 함수를 "정규 삼항 논리 함수"라고 불렀습니다. 일반 삼항 논리 함수는 부울 함수가 처리할 수 없는 이진 논리 회로의 과도 상태 또는 초기 상태와 같은 모호성을 표현하고 분석하는 데 유용합니다. 또한 이진 논리 회로의 안전 장치 시스템 연구에도 적용됩니다. 본 논문에서는 정규 삼항 논리 함수를 다음으로 확장하는 방법에 대해 논의할 것입니다. r비어 있지 않은 하위 집합 집합에 대한 매핑으로 정의되는 값 집합 값 함수 r-값 집합 {0, 1, . . . , r-1}. 먼저, 이 문서에서는 다음 작업을 수행하는 방법을 보여줍니다. r-값 집합 {0, 1, . . . , r-1}은 {0, 1, . . . , r-1}. 이 방법은 Kleene이 이항 논리 연산을 삼항 논리로 확장한 방식과 동일하므로 이러한 연산을 정규 연산이라고 합니다. 마지막으로, 단조로운 집합 값 함수의 명시적 표현은 다음과 같습니다. 부분집합이 제시됩니다.

발행
IEICE TRANSACTIONS on Information Vol.E82-D No.10 pp.1344-1351
발행일
1999/10/25
공개일
온라인 ISSN
DOI
원고의 종류
PAPER
범주
컴퓨터 하드웨어 및 디자인

작성자

키워드