Imaña Pascual, José LuisSánchez, JM2024-07-152024-07-152001-11-01IMANA, JL, and JM SANCHEZ. "Formulation for the computation of Boolean operations." IEE proceedings. Computers and digital techniques 148.6 (2001): 189-195.1350-238710.1049/ip-cdt:20010706https://hdl.handle.net/20.500.14352/106124Boolean or switching equations are powertul mathematical tools for digital logic. Several problems in digital circuit design, such as automatic test pattern generation, could be efficiently solved if fast procedures for solving Boolean equations were available. Several methods for solving this class of equations have been developed, but their efficiency is a problem. A new formulation for the computation of Boolean operations based on cubic representation of Boolean functions, termed the cube set method, is presented. The solutions provided by this approach are given as a set of cubes satisfying the disjoint property. Some definitions and theorems are given to describe the method and experimental results are presentedengjournal article1359-7027http://doi.org/10.1049/ip-cdt:20010706https://digital-library.theiet.org/content/journals/10.1049/ip-cdt_20010706metadata only access004.415.2Computational geometryComputational methodsDigital circuitsLogic programmingSet theorySwitching functionsTheorem provingTabular algebraHardware3304.16 Diseño Lógico