{"id":"https://openalex.org/W956932292","doi":null,"title":"TEKNIK PENGAMBILAN EKSPRESI LOGIKA MENJADI BENTUK NORMAL DISJUNGTIF DAN NORMAL KONJUNGTIF","display_name":"TEKNIK PENGAMBILAN EKSPRESI LOGIKA MENJADI BENTUK NORMAL DISJUNGTIF DAN NORMAL KONJUNGTIF","publication_year":2014,"publication_date":"2014-10-21","ids":{"openalex":"https://openalex.org/W956932292","mag":"956932292"},"language":"id","primary_location":{"id":"mag:956932292","doi":null,"is_oa":false,"landing_page_url":"https://jurnal.darmajaya.ac.id/index.php/JurnalInformatika/article/view/139","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Jurnal Informatika","raw_type":null},"volume":null,"type":"article","indexed_in":[],"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/A5082472562","display_name":"Septilia Arfida","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I4210132611","display_name":"Informatics and Business Institute Darmajaya","ror":"https://ror.org/039xcs474","country_code":"ID","type":"education","lineage":["https://openalex.org/I4210132611"]}],"countries":["ID"],"is_corresponding":true,"raw_author_name":"Septilia Arfida","raw_affiliation_strings":["IBI Darmajaya"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IBI Darmajaya","institution_ids":["https://openalex.org/I4210132611"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5082472562"],"corresponding_institution_ids":["https://openalex.org/I4210132611"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.03749239,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"12","issue":"1","first_page":"60","last_page":"66"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.8306000232696533,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.8306000232696533,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.0551999993622303,"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"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.02710000053048134,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/disjunctive-normal-form","display_name":"disjunctive normal form","score":0.9240000247955322},{"id":"https://openalex.org/keywords/conjunctive-normal-form","display_name":"conjunctive normal form","score":1.0},{"id":"https://openalex.org/keywords/logical-expressions","display_name":"logical expressions","score":0.6510000228881836},{"id":"https://openalex.org/keywords/propositional-logic","display_name":"propositional logic","score":0.7889999747276306},{"id":"https://openalex.org/keywords/logical-connectives","display_name":"logical connectives","score":0.621999979019165}],"concepts":[{"id":"https://openalex.org/C136726353","wikidata":"https://www.wikidata.org/wiki/Q903789","display_name":"Disjunctive normal form","level":2,"score":0.8364642858505249},{"id":"https://openalex.org/C16221470","wikidata":"https://www.wikidata.org/wiki/Q846564","display_name":"Conjunctive normal form","level":2,"score":0.7316628694534302},{"id":"https://openalex.org/C59656382","wikidata":"https://www.wikidata.org/wiki/Q191536","display_name":"Conjunction (astronomy)","level":2,"score":0.6230396032333374},{"id":"https://openalex.org/C98184364","wikidata":"https://www.wikidata.org/wiki/Q1780131","display_name":"Argument (complex analysis)","level":2,"score":0.5577217936515808},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5118524432182312},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4896893799304962},{"id":"https://openalex.org/C90559484","wikidata":"https://www.wikidata.org/wiki/Q778379","display_name":"Expression (computer science)","level":2,"score":0.4512993395328522},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.36411377787590027},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.35040706396102905},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.340759813785553},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2803504168987274},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"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/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:956932292","doi":null,"is_oa":false,"landing_page_url":"https://jurnal.darmajaya.ac.id/index.php/JurnalInformatika/article/view/139","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Jurnal Informatika","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W39821068","https://openalex.org/W2613483771","https://openalex.org/W2606798863","https://openalex.org/W2383447474","https://openalex.org/W4235809217","https://openalex.org/W4239243869","https://openalex.org/W2138078736","https://openalex.org/W4389051483","https://openalex.org/W2044844988","https://openalex.org/W2749000606"],"abstract_inverted_index":{"Logic":[0,24],"holds":[1],"an":[2],"important":[3],"role":[4],"in":[5],"Computer":[6],"Academic\u00a0":[7],"is":[8,25,66,78,80,112,115],"used":[9,36],"as":[10],"a":[11,67],"basic":[12,93],"for":[13,70],"programming":[14],"language,":[15],"Data":[16],"Base,":[17],"Artificial":[18],"Intelligent,":[19],"Software":[20],"Engineering,":[21],"and":[22,39,45,56,104,117],"etc.":[23],"one":[26],"of":[27,43,53,73,84,125,136],"knowledge":[28],"which":[29,47,114],"can\u2019t":[30],"stand":[31],"alone.":[32],"It":[33],"can":[34,87],"be":[35,88],"to":[37,60],"evaluate":[38],"organize":[40],"the":[41,51,54,71,92,134],"structure":[42],"arguments":[44],"statements":[46],"are":[48],"collected":[49],"from":[50],"study":[52],"argument":[55],"formal":[57],"system":[58],"effect":[59],"daily":[61],"human":[62],"language.":[63],"Normal":[64,110,131,153,156,159],"form":[65,69,77,111,121],"standard":[68,76],"expression":[72],"logic":[74,85],"The":[75],"meant":[79],"that":[81],"all":[82],"forms":[83],"expressions":[86],"simplified":[89],"by":[90],"using":[91,122],"couplings":[94,123,129],"O":[96],",":[98,103],"U":[101,107],".":[109],"two":[113],"disjunctive":[116],"konjungtive.":[118],"Disjunctive":[119,158],"\u00a0Normal":[120],"disjunction":[124,135],"conjunction":[126],"while":[127],"wearing":[128],"konjungtive":[130],"Form.":[132],"of\u00a0":[133],"conjunctions.":[137],"Keywords:":[149],"Form,\u00a0":[154],"Conjunctive":[155],"Form,":[157],"Form":[160]},"counts_by_year":[],"updated_date":"2025-11-06T04:12:42.849631","created_date":"2016-06-24T00:00:00"}