{"id":"https://openalex.org/W2163030354","doi":"https://doi.org/10.1109/tec.1959.5219514","title":"Boolean Matrix Equations in Digital Circuit Design","display_name":"Boolean Matrix Equations in Digital Circuit Design","publication_year":1959,"publication_date":"1959-06-01","ids":{"openalex":"https://openalex.org/W2163030354","doi":"https://doi.org/10.1109/tec.1959.5219514","mag":"2163030354"},"language":"en","primary_location":{"id":"doi:10.1109/tec.1959.5219514","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tec.1959.5219514","pdf_url":null,"source":{"id":"https://openalex.org/S172998616","display_name":"IRE Transactions on Electronic Computers","issn_l":"0367-9950","issn":["0367-9950"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IRE Transactions on Electronic Computers","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5012041248","display_name":"Robert S. Ledley","orcid":null},"institutions":[{"id":"https://openalex.org/I1321296531","display_name":"National Institute of Standards and Technology","ror":"https://ror.org/05xpvk416","country_code":"US","type":"funder","lineage":["https://openalex.org/I1321296531","https://openalex.org/I1343035065"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Robert S. Ledley","raw_affiliation_strings":["National Bureau of Standards, Washington, D. C","National Bureau of Standards, Washington D.C., DC, USA"],"affiliations":[{"raw_affiliation_string":"National Bureau of Standards, Washington, D. C","institution_ids":["https://openalex.org/I1321296531"]},{"raw_affiliation_string":"National Bureau of Standards, Washington D.C., DC, USA","institution_ids":["https://openalex.org/I1321296531"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5012041248"],"corresponding_institution_ids":["https://openalex.org/I1321296531"],"apc_list":null,"apc_paid":null,"fwci":1.9022,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.86757991,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"EC-8","issue":"2","first_page":"131","last_page":"139"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.16329999268054962,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.16329999268054962,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.03590000048279762,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.7644720077514648},{"id":"https://openalex.org/keywords/boolean-circuit","display_name":"Boolean circuit","score":0.7279344201087952},{"id":"https://openalex.org/keywords/circuit-minimization-for-boolean-functions","display_name":"Circuit minimization for Boolean functions","score":0.7199288606643677},{"id":"https://openalex.org/keywords/digital-electronics","display_name":"Digital electronics","score":0.6127039790153503},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.5289773344993591},{"id":"https://openalex.org/keywords/boolean-expression","display_name":"Boolean expression","score":0.5116972923278809},{"id":"https://openalex.org/keywords/matrix","display_name":"Matrix (chemical analysis)","score":0.5097998976707458},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4771021008491516},{"id":"https://openalex.org/keywords/and-inverter-graph","display_name":"And-inverter graph","score":0.4725196957588196},{"id":"https://openalex.org/keywords/network-analysis","display_name":"Network analysis","score":0.4712163507938385},{"id":"https://openalex.org/keywords/logical-matrix","display_name":"Logical matrix","score":0.4694824814796448},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4681551456451416},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.4622836410999298},{"id":"https://openalex.org/keywords/parity-function","display_name":"Parity function","score":0.4205489456653595},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4187321960926056},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.11700353026390076},{"id":"https://openalex.org/keywords/group","display_name":"Group (periodic table)","score":0.11582401394844055},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.09275230765342712}],"concepts":[{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.7644720077514648},{"id":"https://openalex.org/C141796577","wikidata":"https://www.wikidata.org/wiki/Q837479","display_name":"Boolean circuit","level":3,"score":0.7279344201087952},{"id":"https://openalex.org/C94992772","wikidata":"https://www.wikidata.org/wiki/Q6667469","display_name":"Circuit minimization for Boolean functions","level":4,"score":0.7199288606643677},{"id":"https://openalex.org/C81843906","wikidata":"https://www.wikidata.org/wiki/Q173156","display_name":"Digital electronics","level":3,"score":0.6127039790153503},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5289773344993591},{"id":"https://openalex.org/C158465420","wikidata":"https://www.wikidata.org/wiki/Q1979515","display_name":"Boolean expression","level":3,"score":0.5116972923278809},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.5097998976707458},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4771021008491516},{"id":"https://openalex.org/C196836630","wikidata":"https://www.wikidata.org/wiki/Q4753279","display_name":"And-inverter graph","level":4,"score":0.4725196957588196},{"id":"https://openalex.org/C32946077","wikidata":"https://www.wikidata.org/wiki/Q618079","display_name":"Network analysis","level":2,"score":0.4712163507938385},{"id":"https://openalex.org/C163561899","wikidata":"https://www.wikidata.org/wiki/Q1994977","display_name":"Logical matrix","level":3,"score":0.4694824814796448},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4681551456451416},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.4622836410999298},{"id":"https://openalex.org/C188183281","wikidata":"https://www.wikidata.org/wiki/Q2898309","display_name":"Parity function","level":4,"score":0.4205489456653595},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4187321960926056},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11700353026390076},{"id":"https://openalex.org/C2781311116","wikidata":"https://www.wikidata.org/wiki/Q83306","display_name":"Group (periodic table)","level":2,"score":0.11582401394844055},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.09275230765342712},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tec.1959.5219514","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tec.1959.5219514","pdf_url":null,"source":{"id":"https://openalex.org/S172998616","display_name":"IRE Transactions on Electronic Computers","issn_l":"0367-9950","issn":["0367-9950"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IRE Transactions on Electronic Computers","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W2018094844","https://openalex.org/W2032960874","https://openalex.org/W2087308603","https://openalex.org/W2116101036","https://openalex.org/W2149820435","https://openalex.org/W4289259175","https://openalex.org/W6682206482"],"related_works":["https://openalex.org/W3003936732","https://openalex.org/W2234833091","https://openalex.org/W2063425181","https://openalex.org/W2735569833","https://openalex.org/W2106622045","https://openalex.org/W2062972911","https://openalex.org/W1991822629","https://openalex.org/W2728195892","https://openalex.org/W2061512596","https://openalex.org/W2011175857"],"abstract_inverted_index":{"A":[0],"systematic":[1],"digital":[2],"computational":[3],"method":[4,98],"is":[5],"given":[6,81],"that":[7,47,58],"involves":[8],"the":[9,60,76,97],"use":[10],"of":[11,19,27,96],"Boolean":[12,28,62],"matrix":[13],"equations":[14],"for":[15],"solving":[16],"certain":[17],"types":[18],"functional":[20],"circuit":[21,57],"design":[22],"problems.":[23],"Specifically,":[24],"all":[25],"sets":[26],"functions":[29],"f1(A1,":[30],".":[31,32,35,36,40,41,65,66,67,71,72,85,86,90,91],".,":[33,37,42,73,87,92],"A1),":[34],"fJ(A1,":[38],"-":[39],"A1)":[43],"are":[44,53,99],"found":[45],"such":[46],"if":[48],"circuits":[49],"with":[50],"these":[51],"outputs":[52],"connected":[54],"to":[55],"a":[56,80],"generates":[59],"known":[61],"function":[63,83],"F(f1,":[64],",":[68],"fJ,":[69],"X1,":[70,89],"XK),":[74],"then":[75],"output":[77],"will":[78],"produce":[79],"desired":[82],"E(A1,":[84],"A1,":[88],"XK).":[93],"Illustrative":[94],"examples":[95],"presented.":[100]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2016,"cited_by_count":1}],"updated_date":"2026-03-06T06:45:51.903784","created_date":"2025-10-10T00:00:00"}