Results 201 to 210 of about 11,963 (262)

A multiple valued logic: a tutorial and appreciation

Computer, 1988
This tutorial places the developments and potential of multiple-valued signals and logic in the relevant context of binary and two-valued signals. It covers: the role of multivalued logic (MVL) in the binary world; multivalued representation; binary-related radices; multivalued functions; storage techniques in MVL; and implementation issues.
K C Smith
exaly   +2 more sources

Flip-Flops for Multiple-Valued Logic

IEEE Transactions on Computers, 1976
A family of multiple-valued (MV) electronic memory elements, referred to herein as flip-flops, is presented along with a system of MV algebra upon which they are based. These MV flip-flops are compared to binary flip-flops. MV asynchronous set-clear flip-flops and synchronous set-clear, D-type, JK, and modulo N counter flip-flops are presented, their ...
H Troy Nagle
exaly   +2 more sources

A Method of Solution for Multiple-Valued Logic Expressions

IEEE Transactions on Computers, 1971
A method of solving a system of simultaneous equations within a multiple-valued logic algebra is presented.
Donald D. Givone   +2 more
exaly   +3 more sources

Multiple-valued logic and optimization of programmable logic arrays

Computer, 1988
Shows a method of designing programmable logic arrays (PLAs) using multiple-valued input, two-valued output functions (MVITVOFs). A MVITVOF is an extension of the two-valued logic function. An expression for a MVITVOF directly represents a multiple-output PLA with decoders.
T Sasao
exaly   +2 more sources

A Minimization Technique for Multiple-Valued Logic Systems

IEEE Transactions on Computers, 1968
Angegeben wird ein funktionell vollständiger \(m\)-wertiger Aussagenkalkül mit den Werten \((0,1,2,\dots,m-1)\), der neben den Konstanten, der Alternative and der Konjunktion einstellige Funktionen \(\overset {a,b} {x}\) enthält, die bei einer Belegung \(f\) der Variablen \(x\) den Wert \((m-1)\) liefern genau dann, wenn \(a\leq f(x)\leq b\) ist, and ...
Charles M. Allen, Donald D. Givone
exaly   +3 more sources

A Logic of Multiple-Valued Argumentation

International Joint Conference on Autonomous Agents and Multiagent Systems, 2004
This paper provides a new departure from the traditional two-valued argumentation frameworks. We address ourselves to formalize an expressive logic of argumentation, called a Logic of Multiple-valued Argumentation (LMA), on top of the very expressive knowledge representation language, called Extended Annotated Logic Programming (EALP), and examine its ...
Takehisa Takahashi, Hajime Sawamura
openaire   +2 more sources

Multiple-valued logic design using multiple-valued EXOR

Proceedings 25th International Symposium on Multiple-Valued Logic, 2002
An approach to logic minimization using a new sum operation called multiple valued EXOR is proposed. The paper introduces the multiple valued sum of products expression using the EXOR. As the scheme of the minimization, we utilize an idea based on neural computing.
Takahiro Hozumi   +3 more
openaire   +1 more source

Multiple-valued logic as a programming language

Proceedings 1997 27th International Symposium on Multiple- Valued Logic, 2002
A method for specifying the computable functions using multiple-valued logics is described. The logics in question provide a uniform environment both for specifying computable functions on the natural numbers and for proving theorems about such specifications.
Robert J. Bignall, Matthew Spinks
openaire   +1 more source

Home - About - Disclaimer - Privacy