10.1016/j.dam.2010.11.013">
 

On the Suppression of Variables in Boolean Equations

Document Type

Article

Publication Date

3-6-2011

Abstract

The resultant of suppression of variables from a Boolean equation is a Boolean equation, derived from the parent equation, whose solutions are exactly those of the parent equation that do not involve the suppressed variables. Two examples in the literature are discussed, in which it is necessary to solve a Boolean equation while excluding solutions involving certain variables. In such cases it would be advantageous to solve the resultant of suppression of those variables rather than solving the original equation and filtering the desired solutions from the results. Abstract © Elsevier.

Comments

Articles published under an Elsevier user license are protected by copyright. Users may access, download, copy, translate, text and data mine (but may not redistribute, display or adapt) the articles for non-commercial purposes provided that users:  

  • Cite the article using an appropriate bibliographic citation (i.e. author(s), journal, article title, volume, issue, page numbers, DOI and the link to the definitive published version on ScienceDirect) 
  • Maintain the integrity of the article 
  • Retain copyright notices and links to these terms and conditions so it is clear to other users what can and cannot be done with the article 
  • Ensure that, for any content in the article that is identified as belonging to a third party, any re-use complies with the copyright policies of that third party 
  • Any translations, for which a prior translation agreement with Elsevier has not been established, must prominently display the statement: "This is an unofficial translation of an article that appeared in an Elsevier publication. Elsevier has not endorsed this translation." 

 

Source Publication

Discrete Applied Mathematics (0166-218X)

This document is currently not available here.

Share

COinS