On the orthogonalization of arbitrary Boolean formulae
From MaRDI portal
Publication:930767
DOI10.1155/JAMDS.2005.61zbMath1146.68377MaRDI QIDQ930767
Publication date: 1 July 2008
Published in: Journal of Applied Mathematics and Decision Sciences (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/129276
Analysis of algorithms and problem complexity (68Q25) Mechanization of proofs and logical operations (03B35)
Related Items (2)
Disjointed sum of products by a novel technique of orthogonalizing ORing ⋮ A new calculation for Boolean derivative using Cheng product
This page was built for publication: On the orthogonalization of arbitrary Boolean formulae
