About: Circuit minimization for Boolean functions

Property	Value
dbo:description	Minimierung eines Schaltkreises oder Boolescher Funktion (de) process in digital electronics and integrated circuit design (en)
dbo:thumbnail	wiki-commons:Special:FilePath/Circuit-minimization.svg?width=300
dbo:wikiPageExternalLink	https://archive.org/details/AnalysisDesignOfSequentialDigitalSystems/ https://web.archive.org/web/20180115125725/https:/www.ece.cmu.edu/~ee760/760docs/lec07.pdf https://web.archive.org/web/20180115125733/https:/www.ece.cmu.edu/~ee760/760docs/lec08.pdf https://www.ece.cmu.edu/~ee760/760docs/lec07.pdf https://www.ece.cmu.edu/~ee760/760docs/lec08.pdf
dbo:wikiPageWikiLink	dbc:Electronics_optimization dbr:Karnaugh_map dbr:John_Venn dbr:Petrick's_method dbc:Digital_electronics dbc:Electronic_design dbc:Electronic_design_automation dbr:Digital_electronics dbc:Boolean_algebra dbr:Counter_(digital) dbr:Function_composition dbr:Binary_decoder dbr:Cambridge_University_Press dbr:Heuristic dbr:Truth_table dbr:Polynomial_hierarchy dbc:Logic_in_computer_science dbr:Combinational_logic dbr:Euler_diagram dbr:Crosstalk dbr:Integrated_circuit_design dbr:Espresso_heuristic_logic_minimizer dbr:Binary_decision_diagram dbr:Quine–McCluskey_algorithm dbr:Circuit_complexity dbr:Electronic_design_automation dbr:Electronic_circuit dbr:Prime_implicant dbr:Inequality_(mathematics) dbr:Priority_encoder dbr:AND_gate dbr:OR_gate dbr:Finite-state_machine dbc:Electronic_engineering dbr:Integrated_circuit dbr:Maurice_Karnaugh dbr:Carnegie_Mellon_University dbr:Multiplexer dbr:Venn_diagram dbr:XOR_gate dbr:Programmable_logic_array dbr:Hazard_(logic) dbr:Boolean_expression dbr:Boolean_algebra dbr:Hardware_description_language dbr:Logic_gate dbr:Logic_synthesis dbr:Sequential_logic dbr:Time_complexity dbr:Flip-flops dbr:Inverter_(logic_gate) dbc:Circuit_complexity dbr:Logic_redundancy dbr:Macmillan_Press dbr:McGraw-Hill dbr:Power_efficiency dbr:Binary_decision_diagrams dbr:Leonhard_P._Euler dbr:Demultiplexer dbr:Function_decomposition dbr:Gate_underutilization dbr:Don't_care_condition dbr:Harvard_minimizing_chart dbr:Logic_Friday dbr:Logic_circuit dbr:Springer_Science_&_Business_Media dbr:Sum-of-products dbr:Two-level_logic_optimization dbr:Product-of-sums dbr:File:Circuit-minimization.svg dbr:Multi-level_representation dbr:Wikibooks:Harvard_Chart_Method dbr:Wikiversity:Harvard_chart_method
dbp:cs1Dates	y (en)
dbp:date	May 2019 (en)
dbp:group	"nb" (en)
dbp:wikiPageUsesTemplate	dbt:Digital_electronics dbt:Cite_book dbt:! dbt:Reflist dbt:Anchor dbt:Bots dbt:Clear dbt:Overline dbt:Cleanup dbt:R_to_section dbt:Clarify dbt:Use_dmy_dates dbt:Use_list-defined_references dbt:Other_uses dbt:Quantify dbt:R_from_merge dbt:Short_description
dct:subject	dbc:Electronics_optimization dbc:Digital_electronics dbc:Electronic_design dbc:Electronic_design_automation dbc:Boolean_algebra dbc:Logic_in_computer_science dbc:Electronic_engineering dbc:Circuit_complexity
gold:hypernym	dbr:Process
rdfs:label	Circuit minimization for Boolean functions (en) Logic optimization (en) تحسين منطقي (ar)
owl:sameAs	freebase:Circuit minimization for Boolean functions wikidata:Circuit minimization for Boolean functions dbpedia-ar:Circuit minimization for Boolean functions dbpedia-sr:Circuit minimization for Boolean functions dbpedia-global:Circuit minimization for Boolean functions dbr:Circuit minimization for Boolean functions
prov:wasDerivedFrom	wikipedia-en:Logic_optimization?oldid=1287018147&ns=0 wikipedia-en:Circuit_minimization_for_Boolean_functions?oldid=800573952&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Circuit-minimization.svg
foaf:isPrimaryTopicOf	wikipedia-en:Logic_optimization wikipedia-en:Circuit_minimization_for_Boolean_functions
is dbo:wikiPageRedirects of	dbr:Boolean_minimisation dbr:Boolean_minimization dbr:Boolean_simplification dbr:Map-entered_variables dbr:Minterm-ring_map dbr:Circuit_minimization_for_Boolean_functions dbr:Circuit_minimization_for_Boolean_functions dbr:K-map_within_K-map dbr:EV_K-map dbr:EV_Karnaugh_map dbr:EV_mapping dbr:Elimination_of_infrequent_variables dbr:Kreisgraph_nach_Händler dbr:Variable_entrant_map dbr:Graphical_minimisation_method dbr:Graphical_minimisation_methods dbr:Graphical_minimization_method dbr:Graphical_minimization_methods dbr:Haendler's_circle_graph dbr:Haendler's_diagram dbr:Haendler_circle_graph dbr:Haendler_circular_graph dbr:Haendler_diagram dbr:Handler's_circle_graph dbr:Handler's_diagram dbr:Handler_circle_graph dbr:Handler_circular_graph dbr:Handler_diagram dbr:Pandit-Plot dbr:Pandit_plot dbr:Paraboomig dbr:First-order_compressed_K-map dbr:Method_of_map-entered_variables dbr:Third-order_compressed_K-map dbr:Contact_bone dbr:Contact_bones dbr:Contact_grid dbr:Contact_grids dbr:Designation_number_(logic_optimisation) dbr:Designation_number_(logic_optimization) dbr:Designation_pattern_(logic_optimisation) dbr:Designation_pattern_(logic_optimization) dbr:Decomposition_chart dbr:Fletcher's_variable-entered_map dbr:M-map_(logic_optimisation) dbr:M-map_(logic_optimization) dbr:Majority-inverter_graph dbr:Map-Entered_Variables dbr:Map-entered-variable_mapping_techniques dbr:Map-entered_expression dbr:Map-entered_function dbr:Map-entered_functions dbr:Map-entered_variable dbr:Map-factoring_method dbr:Map_entered_expression dbr:Map_entered_function dbr:Map_entered_functions dbr:Map_entered_variable dbr:Map_entered_variables dbr:Circuit_minimisation dbr:Circuit_minimisation_for_Boolean_functions dbr:Circuit_minimisation_problem dbr:Circuit_minimization dbr:Circuit_minimization_problem dbr:Circuit_simplification dbr:Circular_diagram_according_to_Händler dbr:FVEM dbr:Händler's_circle_graph dbr:Händler's_diagram dbr:Händler's_minimisation_graph dbr:Händler's_minimization_graph dbr:Händler'scher_Kreisgraph dbr:Händler-Diagramm dbr:Händler-Kreisgraph dbr:Händler_circle_graph dbr:Händler_circular_graph dbr:Händler_diagram dbr:Händler_minimisation_graph dbr:Händler_minimization_graph dbr:Händlerscher_Kreisgraph dbr:Reduced_K-map dbr:Reduced_Karnaugh_map dbr:Reduced_form_Karnaugh_map_entry dbr:Reduced_variable-entered_Karnaugh_map dbr:Technique_of_infrequent_variables dbr:Entered-Variable_K-Map dbr:Entered-Variable_Karnaugh_Map dbr:Entered-variable_K-map dbr:Entered-variable_Karnaugh_map dbr:Entered_variable dbr:Entered_variable_K-map dbr:Entered_variable_Karnaugh_map dbr:Entered_variable_mapping dbr:Entered_variables dbr:Compressed_K-map dbr:Harvard_Chart dbr:Harvard_Chart_Method dbr:Harvard_Chart_Method_of_Logical_Equation_Reduction dbr:Harvard_Computation_Laboratory_minimising_chart dbr:Harvard_Computation_Laboratory_minimizing_chart dbr:Harvard_Decomposition_Chart dbr:Harvard_chart dbr:Harvard_chart_method dbr:Harvard_chart_method_of_logical_equation_reduction dbr:Harvard_computation_laboratory_minimising_chart dbr:Harvard_computation_laboratory_minimizing_chart dbr:Harvard_decomposition_chart dbr:Harvard_minimisation_chart dbr:Harvard_minimising_chart dbr:Harvard_minimising_chart_method dbr:Harvard_minimization_chart dbr:Harvard_minimizing_chart dbr:Harvard_minimizing_chart_method dbr:Harvard_negative_solution dbr:Harvard_normal_solution dbr:Harvard_positive_solution dbr:Karnaugh_map_with_named_variables dbr:Karnaugh_map_with_variables dbr:Karnaugh_map_within_Karnaugh_map dbr:Karnaugh_mapping_with_letter-name_variables dbr:Karnaugh_mapping_with_letter-named_variables dbr:Karnaugh_mapping_with_named_variables dbr:Karnaugh_mapping_with_symbolic_variables dbr:Karnaugh_mapping_with_variables dbr:Karnaugh_maps_with_letter-name_variables dbr:Karnaugh_submap dbr:Karnaugh_tree dbr:McCalla's_minterm-ring_algorithm dbr:McCalla's_minterm-ring_map dbr:McCalla's_minterm-ring_map_method dbr:McCalla's_minterm_ring_algorithm dbr:McCalla's_minterm_ring_map dbr:McCalla's_minterm_ring_map_method dbr:McCalla_minterm-ring_algorithm dbr:McCalla_minterm-ring_in_a_K-map dbr:McCalla_minterm-ring_map dbr:McCalla_minterm-ring_map_method dbr:McCalla_minterm-ring_table dbr:McCalla_minterm_ring_algorithm dbr:McCalla_minterm_ring_map dbr:McCalla_minterm_ring_map_method dbr:Alharbi's_truth_graph dbr:Alharbi_truth_graph dbr:Ashenhurst's_decomposition_chart dbr:Ashenhurst_decomposition_chart dbr:Chip_minimisation dbr:Chip_minimization dbr:Logic_Designation_Number_Notation dbr:Logic_Optimisation dbr:Logic_Optimization dbr:Logic_circuit_minimisation dbr:Logic_circuit_minimization dbr:Logic_designation_number_notation dbr:Logic_function_minimization dbr:Logic_minimisation dbr:Logic_minimisation_technique dbr:Logic_minimization dbr:Logic_minimization_technique dbr:Logic_optimisation dbr:Logic_optimisation_technique dbr:Logic_optimization_technique dbr:Logic_simplification dbr:MEV_K-map dbr:Mahoney's_designation_number dbr:Mahoney's_designation_pattern dbr:Mahoney_Map dbr:Mahoney_designation_number dbr:Mahoney_designation_pattern dbr:Mahoney_map dbr:Mahoney_mapping dbr:Mahoney_mapping_scheme dbr:Mahoney_scheme dbr:Infrequent_variable dbr:Infrequent_variable_method dbr:Infrequent_variables dbr:Infrequently_used_variable dbr:Infrequently_used_variables dbr:Scheinman's_binary_method dbr:Schultz's_infrequent_variable_method dbr:Svoboda's_contact_bone dbr:Svoboda's_contact_bones dbr:Svoboda's_contact_grid dbr:Svoboda's_contact_grids dbr:Svoboda's_graphical_aid dbr:Svoboda's_graphical_aids dbr:Svoboda's_method dbr:Svoboda's_minimisation_method dbr:Svoboda's_minimization_method dbr:Svoboda's_triadic_map dbr:Svoboda_method dbr:Svoboda_minimisation_method dbr:Svoboda_minimization_method dbr:Minimisation_chart dbr:Minimisation_of_Boolean_functions dbr:Minimising_chart dbr:Minimising_chart_method dbr:Minimization_chart dbr:Minimization_of_Boolean_functions dbr:Minimization_of_boolean_expressions dbr:Minimizing_chart dbr:Minimizing_chart_method dbr:Minterm-ring_algorithm dbr:Minterm-ring_in_a_K-map dbr:Minterm-ring_map_method dbr:Minterm-ring_table dbr:Minterm_ring_algorithm dbr:Minterm_ring_map dbr:Minterm_ring_map_method dbr:Second-order_compressed_K-map dbr:Triadic_map dbr:Truth_Graph dbr:Truth_graph dbr:Truth_graph_minimisation dbr:Truth_graph_minimisation_method dbr:Truth_graph_minimization dbr:Truth_graph_minimization_method dbr:Two-level_logic_optimisation dbr:Two-level_logic_optimization dbr:Two-level_minimisation dbr:Two-level_minimization dbr:VEK-map dbr:VEKM dbr:VEKM_cover_method dbr:VEKM_technique dbr:VEM_method dbr:VEM_method_of_minimisation dbr:VEM_method_of_minimization dbr:VEM_technique dbr:Variable-Entered_Karnaugh_Map dbr:Variable-Entered_Map dbr:Variable-entered_Karnaugh's_map dbr:Variable-entered_Karnaugh_map dbr:Variable-entered_expression dbr:Variable-entered_map dbr:Variable-entered_mapping dbr:Variable-entered_plotting dbr:Variable-entered_reading dbr:Variable_Entered_Karnaugh's_Map dbr:Variable_Entrant_Map dbr:Variable_entered_Karnaugh's_map dbr:Variable_entered_expression dbr:Variable_entered_map dbr:Variable_entered_mapping dbr:Variable_entered_plotting dbr:Variable_entered_reading
is dbo:wikiPageWikiLink of	dbr:Karnaugh_map dbr:Digital_electronics dbr:Combinational_logic dbr:Tautology_(logic) dbr:Register-transfer_level dbr:FPGA_prototyping dbr:Espresso_heuristic_logic_minimizer dbr:Computer_engineering_compendium dbr:Field-programmable_gate_array dbr:Boolean_minimisation dbr:Boolean_minimization dbr:Boolean_simplification dbr:Simplification dbr:Boolean_algebra dbr:Richards_controller dbr:AND-OR-invert dbr:Verilog-to-Routing dbr:Map-entered_variables dbr:Minterm-ring_map dbr:Circuit_minimization_for_Boolean_functions dbr:K-map_within_K-map dbr:EV_K-map dbr:EV_Karnaugh_map dbr:EV_mapping dbr:Elimination_of_infrequent_variables dbr:Kreisgraph_nach_Händler dbr:Variable_entrant_map dbr:Graphical_minimisation_method dbr:Graphical_minimisation_methods dbr:Graphical_minimization_method dbr:Graphical_minimization_methods dbr:Haendler's_circle_graph dbr:Haendler's_diagram dbr:Haendler_circle_graph dbr:Haendler_circular_graph dbr:Haendler_diagram dbr:Handler's_circle_graph dbr:Handler's_diagram dbr:Handler_circle_graph dbr:Handler_circular_graph dbr:Handler_diagram dbr:Pandit-Plot dbr:Pandit_plot dbr:Paraboomig dbr:First-order_compressed_K-map dbr:Method_of_map-entered_variables dbr:Third-order_compressed_K-map dbr:Contact_bone dbr:Contact_bones dbr:Contact_grid dbr:Contact_grids dbr:Designation_number_(logic_optimisation) dbr:Designation_number_(logic_optimization) dbr:Designation_pattern_(logic_optimisation) dbr:Designation_pattern_(logic_optimization) dbr:Decomposition_chart dbr:Fletcher's_variable-entered_map dbr:M-map_(logic_optimisation) dbr:M-map_(logic_optimization) dbr:Majority-inverter_graph dbr:Map-Entered_Variables dbr:Map-entered-variable_mapping_techniques dbr:Map-entered_expression dbr:Map-entered_function dbr:Map-entered_functions dbr:Map-entered_variable dbr:Map-factoring_method dbr:Map_entered_expression dbr:Map_entered_function dbr:Map_entered_functions dbr:Map_entered_variable dbr:Map_entered_variables dbr:Circuit_minimisation dbr:Circuit_minimisation_for_Boolean_functions dbr:Circuit_minimisation_problem dbr:Circuit_minimization dbr:Circuit_minimization_problem dbr:Circuit_simplification dbr:Circular_diagram_according_to_Händler dbr:FVEM dbr:Händler's_circle_graph dbr:Händler's_diagram dbr:Händler's_minimisation_graph dbr:Händler's_minimization_graph dbr:Händler'scher_Kreisgraph dbr:Händler-Diagramm dbr:Händler-Kreisgraph dbr:Händler_circle_graph dbr:Händler_circular_graph dbr:Händler_diagram dbr:Händler_minimisation_graph dbr:Händler_minimization_graph dbr:Händlerscher_Kreisgraph dbr:Reduced_K-map dbr:Reduced_Karnaugh_map dbr:Reduced_form_Karnaugh_map_entry dbr:Reduced_variable-entered_Karnaugh_map dbr:Technique_of_infrequent_variables dbr:Entered-Variable_K-Map dbr:Entered-Variable_Karnaugh_Map dbr:Entered-variable_K-map dbr:Entered-variable_Karnaugh_map dbr:Entered_variable dbr:Entered_variable_K-map dbr:Entered_variable_Karnaugh_map dbr:Entered_variable_mapping dbr:Entered_variables dbr:Compressed_K-map dbr:Harvard_Chart dbr:Harvard_Chart_Method dbr:Harvard_Chart_Method_of_Logical_Equation_Reduction dbr:Harvard_Computation_Laboratory_minimising_chart dbr:Harvard_Computation_Laboratory_minimizing_chart dbr:Harvard_Decomposition_Chart dbr:Harvard_chart dbr:Harvard_chart_method dbr:Harvard_chart_method_of_logical_equation_reduction dbr:Harvard_computation_laboratory_minimising_chart dbr:Harvard_computation_laboratory_minimizing_chart dbr:Harvard_decomposition_chart dbr:Harvard_minimisation_chart dbr:Harvard_minimising_chart dbr:Harvard_minimising_chart_method dbr:Harvard_minimization_chart dbr:Harvard_minimizing_chart dbr:Harvard_minimizing_chart_method dbr:Harvard_negative_solution dbr:Harvard_normal_solution dbr:Harvard_positive_solution dbr:Karnaugh_map_with_named_variables dbr:Karnaugh_map_with_variables dbr:Karnaugh_map_within_Karnaugh_map dbr:Karnaugh_mapping_with_letter-name_variables dbr:Karnaugh_mapping_with_letter-named_variables dbr:Karnaugh_mapping_with_named_variables dbr:Karnaugh_mapping_with_symbolic_variables dbr:Karnaugh_mapping_with_variables dbr:Karnaugh_maps_with_letter-name_variables dbr:Karnaugh_submap dbr:Karnaugh_tree dbr:McCalla's_minterm-ring_algorithm dbr:McCalla's_minterm-ring_map dbr:McCalla's_minterm-ring_map_method dbr:McCalla's_minterm_ring_algorithm dbr:McCalla's_minterm_ring_map dbr:McCalla's_minterm_ring_map_method dbr:McCalla_minterm-ring_algorithm dbr:McCalla_minterm-ring_in_a_K-map dbr:McCalla_minterm-ring_map dbr:McCalla_minterm-ring_map_method dbr:McCalla_minterm-ring_table dbr:McCalla_minterm_ring_algorithm dbr:McCalla_minterm_ring_map dbr:McCalla_minterm_ring_map_method dbr:Alharbi's_truth_graph dbr:Alharbi_truth_graph dbr:Ashenhurst's_decomposition_chart dbr:Ashenhurst_decomposition_chart dbr:Chip_minimisation dbr:Chip_minimization dbr:Logic_Designation_Number_Notation dbr:Logic_Optimisation dbr:Logic_Optimization dbr:Logic_circuit_minimisation dbr:Logic_circuit_minimization dbr:Logic_designation_number_notation dbr:Logic_function_minimization dbr:Logic_minimisation dbr:Logic_minimisation_technique dbr:Logic_minimization dbr:Logic_minimization_technique dbr:Logic_optimisation dbr:Logic_optimisation_technique dbr:Logic_optimization_technique dbr:Logic_simplification dbr:MEV_K-map dbr:Mahoney's_designation_number dbr:Mahoney's_designation_pattern dbr:Mahoney_Map dbr:Mahoney_designation_number dbr:Mahoney_designation_pattern dbr:Mahoney_map dbr:Mahoney_mapping dbr:Mahoney_mapping_scheme dbr:Mahoney_scheme dbr:Infrequent_variable dbr:Infrequent_variable_method dbr:Infrequent_variables dbr:Infrequently_used_variable dbr:Infrequently_used_variables dbr:Scheinman's_binary_method dbr:Schultz's_infrequent_variable_method dbr:Svoboda's_contact_bone dbr:Svoboda's_contact_bones dbr:Svoboda's_contact_grid dbr:Svoboda's_contact_grids dbr:Svoboda's_graphical_aid dbr:Svoboda's_graphical_aids dbr:Svoboda's_method dbr:Svoboda's_minimisation_method dbr:Svoboda's_minimization_method dbr:Svoboda's_triadic_map dbr:Svoboda_method dbr:Svoboda_minimisation_method dbr:Svoboda_minimization_method dbr:Minimisation_chart dbr:Minimisation_of_Boolean_functions dbr:Minimising_chart dbr:Minimising_chart_method dbr:Minimization_chart dbr:Minimization_of_Boolean_functions dbr:Minimization_of_boolean_expressions dbr:Minimizing_chart dbr:Minimizing_chart_method dbr:Minterm-ring_algorithm dbr:Minterm-ring_in_a_K-map dbr:Minterm-ring_map_method dbr:Minterm-ring_table dbr:Minterm_ring_algorithm dbr:Minterm_ring_map dbr:Minterm_ring_map_method dbr:Second-order_compressed_K-map dbr:Triadic_map dbr:Truth_Graph dbr:Truth_graph dbr:Truth_graph_minimisation dbr:Truth_graph_minimisation_method dbr:Truth_graph_minimization dbr:Truth_graph_minimization_method dbr:Two-level_logic_optimisation dbr:Two-level_logic_optimization dbr:Two-level_minimisation dbr:Two-level_minimization dbr:VEK-map dbr:VEKM dbr:VEKM_cover_method dbr:VEKM_technique dbr:VEM_method dbr:VEM_method_of_minimisation dbr:VEM_method_of_minimization dbr:VEM_technique dbr:Variable-Entered_Karnaugh_Map dbr:Variable-Entered_Map dbr:Variable-entered_Karnaugh's_map dbr:Variable-entered_Karnaugh_map dbr:Variable-entered_expression dbr:Variable-entered_map dbr:Variable-entered_mapping dbr:Variable-entered_plotting dbr:Variable-entered_reading dbr:Variable_Entered_Karnaugh's_Map dbr:Variable_Entrant_Map dbr:Variable_entered_Karnaugh's_map dbr:Variable_entered_expression dbr:Variable_entered_map dbr:Variable_entered_mapping dbr:Variable_entered_plotting dbr:Variable_entered_reading
is rdfs:seeAlso of	dbr:Logic_synthesis
is foaf:primaryTopic of	wikipedia-en:Logic_optimization wikipedia-en:Circuit_minimization_for_Boolean_functions