Join Copernicus Academic and get access to over 12 million papers authored by 7+ million academics.

Related Articles:

• Proposal for nanoscale cascaded plasmonic majority gates for non-Boolean computation.

• On the Representational Power of Restricted Boltzmann Machines for Symmetric Functions and Boolean F Read more...

• Design of a Nanoscale, CMOS-Integrable, Thermal-Guiding Structure for Boolean-Logic and Neuromorphic Read more...

• Computation and Functional Studies Provide a Model for the Structure of the Zinc Transporter hZIP4.

• On Various Nonlinearity Measures for Boolean Functions.

A functional computation model for the duality of two-variable Lambda-Boolean functions

Tolga Güyer - No affiliation found

2006/11/01 Full-length article DOI: 10.1016/j.amc.2006.04.055 Journal: Applied Mathematics and Computation

Abstract:

AbstractThis paper presents a new functional computation model for developing a class of two-variable Lambda-Boolean functions, and describes the properties of the duality principle on this model. With respect to this aim, some definitions and theorems which construct the model of the two-variable Lambda-Boolean functions are given. The simulation of the model is implemented in the programming language Prolog, and the whole code is given as an extended and revised version of the implementation in [Ş. Mirasyedioğlu, T. Güyer, A symbolic and algebraic computation based Lambda-Boolean reduction machine via PROLOG, Appl. Math. Comput. 176 (1) (2006) 65–75].