Parametric solutions of Boolean equations
暂无分享,去创建一个
This paper presents a general theorem about the parametric solutions of Boolean equations; a Brown algorithm and a Lowenheim theorem are shown to be direct consequences of this theorem and its corollaries; finally, a general theorem about the reproductive parametric solutions is stated.
[1] Leopold Löwenheim,et al. Über die Auflösung von Gleichungen im logischen Gebietekalkul , 1910 .
[2] R. Goodstein. Boolean algebra , 1963 .
[3] Peter L. Hammer,et al. Boolean Methods in Operations Research and Related Areas , 1968 .