wiki_research

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

minimization_truth_table (298B)

      1 # Minimization truth table
      2 
      3 The [minimization] [computational_problem] for [Boolean_functions] given as an explicit [truth_table]:
      4 
      5 - [MinDNF] for [DNFs]
      6 - [MFSP] for [Boolean_formulas]
      7 - [MCSP] for [Boolean_circuits]
      8 
      9 Up: [minimization], [Boolean_function]
     10 
     11 See also: [Minimum_equivalent_problem]