|
Zhurnal Vychislitel'noi Matematiki i Matematicheskoi Fiziki, 1986, Volume 26, Number 8, Pages 1243–1249
(Mi zvmmf3962)
|
|
|
|
This article is cited in 10 scientific papers (total in 11 papers)
An algorithm for constructing a disjunctive normal form equivalent to the product of the left-hand sides of Nelson Boolean equations
Yu. I. Zhuravlev, A. Yu. Kogan Moscow
Received: 31.10.1985
Citation:
Yu. I. Zhuravlev, A. Yu. Kogan, “An algorithm for constructing a disjunctive normal form equivalent to the product of the left-hand sides of Nelson Boolean equations”, Zh. Vychisl. Mat. Mat. Fiz., 26:8 (1986), 1243–1249; U.S.S.R. Comput. Math. Math. Phys., 26:4 (1986), 184–188
Linking options:
https://www.mathnet.ru/eng/zvmmf3962 https://www.mathnet.ru/eng/zvmmf/v26/i8/p1243
|
|