Results 131 to 140 of about 296,040 (177)
Distributivity in Boolean algebras [PDF]
openaire +3 more sources
SOFT BOOLEAN ALGEBRA AND ITS PROPERTIES
Molodtsov [21] introduced the concept of soft theory which can be used as a generic mathematical tool for dealing with uncertainty. In this paper, we apply the notion of the soft set theory of Molodtsov to the theory of Boolean algebras which is a well ...
Sahin, Ridvan, Küçük, Ahmet
core
Written by Tony R. Kuphaldt, this chapter of All About Circuit's fourth volume on Digital circuits examines Boolean algebra and logic. The chapter has a helpful introduction that discusses the difference between real and complex numbers and ...
Kuphaldt, Tony R.
core
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Robbins algebra: Conditions that make a near-boolean algebra boolean
Journal of Automated Reasoning, 1990Some problems posed years ago remain challenging today. In particular, the Robbins problem, which is still open and which is the focus of attention in this paper, offers interesting challenges for attack with the assistance of an automated reasoning program; for the study presented here, we used the program OTTER.
exaly +3 more sources
IEEE Transactions on Computers, 1980
Switching algebra is unable to represent the dynamic behavior of digital circuits. There are several known methods for modeling the dynamics of circuits, using either multivalued algebras or specialized operators. None of them preserves the framework of switching algebra; therefore, existing analysis and synthesis methods developed by switching theory ...
Sany Leinwand, T. Lamdan
openaire +2 more sources
Switching algebra is unable to represent the dynamic behavior of digital circuits. There are several known methods for modeling the dynamics of circuits, using either multivalued algebras or specialized operators. None of them preserves the framework of switching algebra; therefore, existing analysis and synthesis methods developed by switching theory ...
Sany Leinwand, T. Lamdan
openaire +2 more sources
Order, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Uri Abraham +3 more
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Uri Abraham +3 more
openaire +2 more sources

