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., 1986, Volume 26, Number 8,Pages <nobr>1243

JOURNALS // Zhurnal Vychislitel'noi Matematiki i Matematicheskoi Fiziki // Archive

Zh. Vychisl. Mat. Mat. Fiz., 1986 Volume 26, Number 8, Pages 1243–1249 (Mi zvmmf3962)

This article is cited in 10 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

UDC: 519.714

MSC: Primary 94C10; Secondary 06E30, 03B05

Received: 31.10.1985

Fulltext: PDF file (727 kB)
Cited by

English version: USSR Computational Mathematics and Mathematical Physics, 1986, 26:4, 184–188

Bibliographic databases: