Boolean circuit (original) (raw)
Logický obvod je elektronický obvod, který pracuje s diskrétními stavy. Jsou tvořeny tzv. logickými členy (nazývanými též hradla). Naopak z logických obvodů se skládají číslicové systémy. Logické obvody se dělí na kombinační logické obvody a sekvenční logické obvody. Kombinační obvody jsou takové obvody, u kterých jsou hodnoty výstupních proměnných pouze funkcí hodnot vstupních proměnných. Výstupní hodnoty tedy závisejí pouze na kombinaci vstupních hodnot. Naopak sekvenční obvody jsou obvody, u kterých výstupní hodnoty závisejí nejen na kombinaci hodnot vstupních, ale také na určité posloupnosti (sekvenci) předchozích vstupních hodnot, která je uchovávána jako tzv. vnitřní stav obvodu (mají tedy paměť).
| Property | Value |
|---|---|
| dbo:abstract | En teoria de la complexitat, un circuit booleà és un model matemàtic d'un circuit digital. Un llenguatge formal pot ser resolt per una família de circuits booleans, un circuit per cada possible longitud d'entrada. Els circuits booleans també s'usen com a model formal pels circuits combinacionals en electrònica digital. Un circuit booleà es descriu per les portes lògiques que conté. Per exemple, un circuit pot estar format per portes binàries AND i OR i portes unàries NOT, o estar completament format per portes binàries NAND. Cada porta es correspon a un funció booleana que té un cert nombres de bits d'entrada i treu un sol bit. Els circuits booleans proporcionen un model per molts components digitals usats en enginyeria informàtica, incloent multiplexors, sumadors i unitats aritmeticològica. (ca) Logický obvod je elektronický obvod, který pracuje s diskrétními stavy. Jsou tvořeny tzv. logickými členy (nazývanými též hradla). Naopak z logických obvodů se skládají číslicové systémy. Logické obvody se dělí na kombinační logické obvody a sekvenční logické obvody. Kombinační obvody jsou takové obvody, u kterých jsou hodnoty výstupních proměnných pouze funkcí hodnot vstupních proměnných. Výstupní hodnoty tedy závisejí pouze na kombinaci vstupních hodnot. Naopak sekvenční obvody jsou obvody, u kterých výstupní hodnoty závisejí nejen na kombinaci hodnot vstupních, ale také na určité posloupnosti (sekvenci) předchozích vstupních hodnot, která je uchovávána jako tzv. vnitřní stav obvodu (mají tedy paměť). (cs) In der theoretischen Informatik (insbesondere in der Komplexitätstheorie) ist ein boolescher Schaltkreis ein mathematisches Modell für digitale Schaltungen. (de) In computational complexity theory and circuit complexity, a Boolean circuit is a mathematical model for combinational digital logic circuits. A formal language can be decided by a family of Boolean circuits, one circuit for each possible input length. Boolean circuits are defined in terms of the logic gates they contain. For example, a circuit might contain binary AND and OR gates and unary NOT gates, or be entirely described by binary NAND gates. Each gate corresponds to some Boolean function that takes a fixed number of bits as input and outputs a single bit. Boolean circuits provide a model for many digital components used in computer engineering, including multiplexers, adders, and arithmetic logic units, but they exclude sequential logic. They are an abstraction that omits many aspects relevant to designing real digital logic circuits, such as metastability, fanout, glitches, power consumption, and propagation delay variability. (en) En théorie de la complexité, un circuit booléen est un modèle de calcul constitué de portes logiques (fonctions logiques) reliées entre elles. C'est une façon de représenter une fonction booléenne. Un circuit booléen peut être utilisé pour reconnaître un langage formel, c'est-à-dire décider si un mot appartient ou non à un langage particulier. Les caractéristiques des circuits qui reconnaissent un langage permettent de définir (ou redéfinir) des classes de complexité. Les circuits booléens sont un modèle utilisé en génie informatique notamment pour la conception des unités arithmétiques et logiques et en informatique théorique notamment pour établir des bornes inférieures. (fr) En la teoría de la complejidad computacional y , un circuito booleano es un modelo matemático para circuitos lógicos digitales combinacionales. Una familia de circuitos booleanos puede decidir un lenguaje formal, un circuito para cada longitud de entrada posible. Los circuitos booleanos también se utilizan como modelo formal para la lógica combinacional en electrónica digital. Los circuitos booleanos se definen en términos de las compuertas lógicas que contienen. Por ejemplo, un circuito puede contener compuertas AND y OR y compuertas NOT unarias, o estar completamente descrito por compuertas NAND binarias. Cada compuerta corresponde a alguna función booleana que toma un número fijo de bits como entrada y genera un solo bit. Los circuitos booleanos proporcionan un modelo para muchos componentes digitales utilizados en ingeniería informática, incluidos multiplexores, sumadores y unidades lógicas aritméticas, pero excluyen la lógica secuencial. Son una abstracción que omite muchos aspectos relevantes para el diseño de circuitos lógicos digitales reales, como la , fan-out, glitches, consumo de energía y variabilidad de retardo de propagación . (es) Un circuito booleano è un modello matematico di computazione usato nello studio della teoria della complessità computazionale. Questi circuiti sono principalmente oggetto di studi nella complessità dei circuiti e sono dei tipi speciali di circuiti; un linguaggio formale può essere deciso da una famiglia di circuiti booleani, un circuito per ogni possibile lunghezza di input. In aggiunta, essi sono usati come modello formale per in elettronica digitale. I circuiti booleani sono definiti in termini di che essi contengono. Ad esempio, un circuito potrebbe contenere porte AND e OR e porte NOT , o essere interamente descritti da binarie. Ogni porta corrisponde a qualche funzione booleana che prende k bit di input e invia in output un singolo bit. (it) Na teoria da complexidade computacional e , um circuito booliano é um modelo matemático para circuitos lógicos digitais. Uma linguagem formal pode ser decidida por uma família de circuitos boolianos, um circuito para cada comprimento de entrada possível. Circuitos boolianos também são usados em modelos formais para lógica combinacional em eletrônica digital. Circuitos boolianos são definidos em termos das portas lógicas que contém. Por exemplo, um circuito pode conter as funções binárias das portas AND e OR, e função unária da porta NOT, ou ser inteiramente descrita por portas binárias NAND. Cada porta corresponde a alguma função booliana que recebe um número fixo de bits como input e devolve um único bit como output. Circuitos boolianos provém um modelo para muitos componentes digitais usados em engenharia da computação, incluindo multiplexadores, , e unidades lógicas e aritméticas. (pt) |
| dbo:thumbnail | wiki-commons:Special:FilePath/Three_input_Boolean_circuit.jpg?width=300 |
| dbo:wikiPageID | 7087423 (xsd:integer) |
| dbo:wikiPageLength | 9964 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1115194725 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Probabilistic_Turing_machine dbr:Propagation_delay dbr:Propositional_formula dbr:NP_(complexity) dbr:Metastability_(electronics) dbr:Unary_operation dbr:Decision_problem dbr:Combinational_logic dbr:NAND_gate dbr:NOT_gate dbr:OR_gate dbr:NC_(complexity) dbr:Arithmetic_logic_unit dbr:Computational_complexity_theory dbr:Computer_engineering dbr:Functional_completeness dbr:P_(complexity) dbr:Parallel_algorithm dbr:String_(computer_science) dbr:P/poly dbc:Digital_circuits dbr:Adder_(electronics) dbr:Time_complexity dbr:Hazard_(logic) dbr:Fanout dbr:P-complete dbr:Power_optimization_(EDA) dbr:Digital_electronics dbr:Fan-out dbr:Formal_language dbr:Logic_gate dbr:AC_(complexity) dbr:AND_gate dbc:Logic_in_computer_science dbc:Computational_complexity_theory dbr:Advice_(complexity) dbr:Binary_function dbr:Bit dbr:Directed_acyclic_graph dbr:Boolean_algebra dbr:Boolean_expression dbr:Boolean_function dbr:Polynomial_hierarchy dbr:Circuit_Value_Problem dbr:Circuit_complexity dbr:Model_of_computation dbr:Multiplexer dbr:Turing_machine dbr:File:Three_input_Boolean_circuit.jpg dbr:Switching_lemma dbr:Sequential_logic dbr:Boolean_logic dbr:P_versus_NP dbr:Circuit_satisfiability dbr:Directed_path dbr:Polylogarithmic dbr:Binary_string dbr:Heribert_Vollmer |
| dbp:wikiPageUsesTemplate | dbt:Main_article dbt:Reflist dbt:Rp dbt:See_also dbt:Short_description dbt:Digital_electronics |
| dct:subject | dbc:Digital_circuits dbc:Logic_in_computer_science dbc:Computational_complexity_theory |
| gold:hypernym | dbr:Model |
| rdf:type | owl:Thing dbo:Person yago:Artifact100021939 yago:Circuit103033362 yago:Device103183080 yago:ElectricalDevice103269401 yago:Instrumentality103575240 yago:Object100002684 yago:PhysicalEntity100001930 yago:Whole100003553 yago:WikicatDigitalCircuits |
| rdfs:comment | Logický obvod je elektronický obvod, který pracuje s diskrétními stavy. Jsou tvořeny tzv. logickými členy (nazývanými též hradla). Naopak z logických obvodů se skládají číslicové systémy. Logické obvody se dělí na kombinační logické obvody a sekvenční logické obvody. Kombinační obvody jsou takové obvody, u kterých jsou hodnoty výstupních proměnných pouze funkcí hodnot vstupních proměnných. Výstupní hodnoty tedy závisejí pouze na kombinaci vstupních hodnot. Naopak sekvenční obvody jsou obvody, u kterých výstupní hodnoty závisejí nejen na kombinaci hodnot vstupních, ale také na určité posloupnosti (sekvenci) předchozích vstupních hodnot, která je uchovávána jako tzv. vnitřní stav obvodu (mají tedy paměť). (cs) In der theoretischen Informatik (insbesondere in der Komplexitätstheorie) ist ein boolescher Schaltkreis ein mathematisches Modell für digitale Schaltungen. (de) En teoria de la complexitat, un circuit booleà és un model matemàtic d'un circuit digital. Un llenguatge formal pot ser resolt per una família de circuits booleans, un circuit per cada possible longitud d'entrada. Els circuits booleans també s'usen com a model formal pels circuits combinacionals en electrònica digital. Els circuits booleans proporcionen un model per molts components digitals usats en enginyeria informàtica, incloent multiplexors, sumadors i unitats aritmeticològica. (ca) In computational complexity theory and circuit complexity, a Boolean circuit is a mathematical model for combinational digital logic circuits. A formal language can be decided by a family of Boolean circuits, one circuit for each possible input length. Boolean circuits are defined in terms of the logic gates they contain. For example, a circuit might contain binary AND and OR gates and unary NOT gates, or be entirely described by binary NAND gates. Each gate corresponds to some Boolean function that takes a fixed number of bits as input and outputs a single bit. (en) En la teoría de la complejidad computacional y , un circuito booleano es un modelo matemático para circuitos lógicos digitales combinacionales. Una familia de circuitos booleanos puede decidir un lenguaje formal, un circuito para cada longitud de entrada posible. Los circuitos booleanos también se utilizan como modelo formal para la lógica combinacional en electrónica digital. (es) En théorie de la complexité, un circuit booléen est un modèle de calcul constitué de portes logiques (fonctions logiques) reliées entre elles. C'est une façon de représenter une fonction booléenne. Un circuit booléen peut être utilisé pour reconnaître un langage formel, c'est-à-dire décider si un mot appartient ou non à un langage particulier. Les caractéristiques des circuits qui reconnaissent un langage permettent de définir (ou redéfinir) des classes de complexité. (fr) Un circuito booleano è un modello matematico di computazione usato nello studio della teoria della complessità computazionale. Questi circuiti sono principalmente oggetto di studi nella complessità dei circuiti e sono dei tipi speciali di circuiti; un linguaggio formale può essere deciso da una famiglia di circuiti booleani, un circuito per ogni possibile lunghezza di input. In aggiunta, essi sono usati come modello formale per in elettronica digitale. (it) Na teoria da complexidade computacional e , um circuito booliano é um modelo matemático para circuitos lógicos digitais. Uma linguagem formal pode ser decidida por uma família de circuitos boolianos, um circuito para cada comprimento de entrada possível. Circuitos boolianos também são usados em modelos formais para lógica combinacional em eletrônica digital. Circuitos boolianos provém um modelo para muitos componentes digitais usados em engenharia da computação, incluindo multiplexadores, , e unidades lógicas e aritméticas. (pt) |
| rdfs:label | Circuit booleà (ca) Logický obvod (cs) Boolescher Schaltkreis (de) Boolean circuit (en) Circuitos booleanos (es) Circuito booleano (it) Circuit booléen (fr) Circuito booliano (pt) |
| rdfs:seeAlso | dbr:Circuit_complexity |
| owl:sameAs | freebase:Boolean circuit yago-res:Boolean circuit wikidata:Boolean circuit dbpedia-ca:Boolean circuit dbpedia-cs:Boolean circuit dbpedia-de:Boolean circuit dbpedia-es:Boolean circuit dbpedia-fa:Boolean circuit dbpedia-fr:Boolean circuit dbpedia-it:Boolean circuit dbpedia-pt:Boolean circuit dbpedia-sk:Boolean circuit https://global.dbpedia.org/id/4zUYz |
| prov:wasDerivedFrom | wikipedia-en:Boolean_circuit?oldid=1115194725&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/Three_input_Boolean_circuit.jpg |
| foaf:isPrimaryTopicOf | wikipedia-en:Boolean_circuit |
| is dbo:wikiPageDisambiguates of | dbr:Circuit dbr:Boolean |
| is dbo:wikiPageRedirects of | dbr:Computational_complexity_of_Boolean_circuits dbr:Boolean_circuits |
| is dbo:wikiPageWikiLink of | dbr:Enumeration_algorithm dbr:Richard_Lipton dbr:Richard_M._Karp dbr:Indistinguishability_obfuscation dbr:Quantum_computing dbr:Life_without_Death dbr:Combinational_logic dbr:Computational_complexity_of_Boolean_circuits dbr:Ancilla_bit dbr:George_Boole dbr:NC_(complexity) dbr:Benjamin_Rossman dbr:Complexity_class dbr:Computational_complexity_theory dbr:PLS_(complexity) dbr:P_(complexity) dbr:Succinct_game dbr:TC_(complexity) dbr:BPP_(complexity) dbr:Garbled_circuit dbr:Circuit dbr:Langton's_ant dbr:P-complete dbr:Alexander_Razborov dbr:PP_(complexity) dbr:List_of_Russian_IT_developers dbr:Boolean_circuits dbr:AC_(complexity) dbr:Advice_(complexity) dbr:Karp–Lipton_theorem dbr:Billiard-ball_computer dbr:Blichfeldt's_theorem dbr:TC0 dbr:Boolean dbr:Boolean_algebra dbr:Boolean_expression dbr:Boolean_function dbr:Boolean_hierarchy dbr:Circuit_(computer_science) dbr:Circuit_Value_Problem dbr:Circuit_complexity dbr:Circuit_satisfiability_problem dbr:Cirquent_calculus dbr:Frege_system dbr:Minesweeper_(video_game) dbr:Nested_word dbr:Lupanov_representation dbr:NP/poly dbr:Verifiable_computing dbr:Switching_lemma dbr:Switching_circuit_theory dbr:Tentai_Show |
| is foaf:primaryTopic of | wikipedia-en:Boolean_circuit |
