wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

minimum_equivalent_problem (394B)

      1 # Minimum equivalent problem
      2 
      3 The [minimization] [computational_problem], given a [Boolean_function] in a certain representation, of finding an equivalent representation of minimum size
      4 
      5 - [minimum_equivalent_DNF] for [DNFs]
      6 - [minimum_equivalent_expression] for [Boolean_formulas]
      7 - [minimum_equivalent_circuit] for [Boolean_circuits]
      8 
      9 Up: [minimization]
     10 
     11 See also: [Minimization_truth_table]