Logic and Boolean algebra.

Includes bibliography.

On the realization of Boolean functions using AND and OR elements /

Thesis (M. S.)--University of Illinois at Urbana-Champaign.

A linear programming code to determine whether a Boolean function is a threshold function,

Bibliography: p. 14.

The pattern articulation unit of Illiac III; homogenous Boolean functions in the iterative array,

"Supported in part by Contract AT(11-1) 1018 with the U.S. Atomic Energy Commission and the Advanced Research Projects Agency."

The solution of simultaneous Boolean equations.

On cover: COO-1469-0077.

寻找布尔函数的零化子

通过解方程组来研究密码系统,是代数攻击的研究内容代.对方程组降次是降低求解复杂度的一种重要方法.为了达到这个目的,引入了布尔函数零化子的概念.然而迄今为止,尚未有求解零化子的有效算法.这篇文章提出了一种计算给定布尔函数的零化子集的算法.由前两个算法,可以得到给定布尔函数的零化子集的一组基;从第三个算法,可以得到最低次数的零化子.算法的复杂度与函数的单项式个数相关.对流密码来说,在很多情况下,相比以前的算法而言,这种算法的复杂度大为降低.最后,我们将给出一个实例,说明算法是如何工作的.

Enumeration of threshold functions of eight variables,

Bibliography: p. 58-59.

An exponential lower bound for a restricted class of monotone formulae for 2-unsatisfiability /

"UILU-ENG 78-1734."

The pattern articulation unit of ILLIAC III : implementation of the homogeneous instruction "BOOLE" /

Supported by: Contract AT (11-1)-1018 with the U.S. Atomic Energy Commission and the Advanced Research Projects Agency.

Subgroups of the group G[subscript n] /

Originally presented as the author's thesis, University of Illinois at Urbana-Champaign.

ABC's of lasers and masers.

"cat no. BAB-1."

A Boolean algebra and a Banach space obtained by push-out iteration

Under the assumption that c is a regular cardinal, we prove the existence and uniqueness of a Boolean algebra B of size c defined by sharing the main structural properties that P(omega)/fin has under CH and in the N(2)-Cohen model. We prove a similar result in the category of Banach spaces. (C) 2011 Elsevier B.V. All rights reserved.

ON THE RADICAL OF A FREE MALCEV ALGEBRA

We prove that the prime radical rad M of the free Malcev algebra M of rank more than two over a field of characteristic not equal 2 coincides with the set of all universally Engelian elements of M. Moreover, let T(M) be the ideal of M consisting of all stable identities of the split simple 7-dimensional Malcev algebra M over F. It is proved that rad M = J(M) boolean AND T(M), where J(M) is the Jacobian ideal of M. Similar results were proved by I. Shestakov and E. Zelmanov for free alternative and free Jordan algebras.

Duality in complex stochastic boolean systems

[EN]Many different complex systems depend on a large number n of mutually independent random Boolean variables. The most useful representation for these systems –usually called complex stochastic Boolean systems (CSBSs)– is the intrinsic order graph. This is a directed graph on 2n vertices, corresponding to the 2n binary n-tuples (u1, . . . , un) ∈ {0, 1} n of 0s and 1s. In this paper, different duality properties of the intrinsic order graph are rigorously analyzed in detail. The results can be applied to many CSBSs arising from any scientific, technical or social area…