คำถามติดแท็ก logic

ในคณิตศาสตร์เครื่องหมายอัศเจรีย์!มักหมายถึงแฟกทอเรียลและเกิดขึ้นหลังจากการโต้แย้ง ในการเขียนโปรแกรมเครื่องหมายอัศเจรีย์!มักหมายถึงการปฏิเสธและเกิดขึ้นก่อนการโต้แย้ง สำหรับความท้าทายนี้เราจะใช้การดำเนินการเหล่านี้กับศูนย์หนึ่งเท่านั้น Factorial 0! = 1 1! = 1 Negation !0 = 1 !1 = 0 ใช้สตริงของศูนย์หรือมากกว่า!ตามด้วย0หรือ1ตามด้วยศูนย์หรือมากกว่า!( /!*[01]!*/) ยกตัวอย่างเช่นการป้อนข้อมูลที่อาจจะ!!!0!!!!หรือ!!!1หรือ!0!!หรือหรือ0!1 สิ่งที่!อยู่ก่อนหน้า0หรือ1ถูกปฏิเสธและสิ่ง!ที่ตามมาคือแฟคทอเรียล แฟคทอเรียลมีความสำคัญสูงกว่าการปฏิเสธดังนั้นแฟคทอเรียลจะถูกใช้ก่อนเสมอ ยกตัวอย่างเช่น!!!0!!!!อย่างแท้จริงหมายถึงหรือยังดีกว่า!!!(0!!!!)!(!(!((((0!)!)!)!))) เอาต์พุตแอพพลิเคชั่นผลลัพธ์ของแฟคทอเรียลและการปฏิเสธทั้งหมด การส่งออกจะเป็นหรือ01 กรณีทดสอบ 0 -> 0 1 -> 1 0! -> 1 1! -> 1 !0 -> 1 !1 -> 0 !0! -> 0 !1! -> 0 …

175 code-golf  string  math  logic  factorial 

แรงบันดาลใจจากและในความทรงจำของเพื่อนรักและเพื่อนร่วมงานของฉัน Dan Baronet , 1956 - 2016 RIP เขาพบวิธีแก้ปัญหา APL ที่สั้นที่สุดสำหรับงานนี้: งาน รับรายการบูลีนให้นับจำนวนค่าความจริงต่อท้าย ตัวอย่างกรณี {} → 0 {0} → 0 {1} → 1 {0, 1, 1, 0, 0} → 0 {1, 1, 1, 0, 1} → 1 {1, 1, 0, 1, 1} → 2 {0, 0, 1, 1, 1} → …

59 code-golf  number  array-manipulation  counting  logic 

ความท้าทายนี้คือการยกวิญญาณของเราสมัยอเล็กซ์เอที่มักจะเป็นที่ไม่ถูกต้อง สมมติว่าคุณมีเพื่อนที่ชื่ออเล็กซ์ที่ต้องการความช่วยเหลือกับตรรกะพื้นฐานและคณิตศาสตร์โดยเฉพาะความเท่าเทียมทางคณิตศาสตร์ เขาให้รายการสมการของแบบฟอร์ม[variable] = [variable]ที่ a [variable]เป็นตัวอักษรตัวพิมพ์ใหญ่ A ถึง Z เสมอ (ไม่ใช่อักษรตัวพิมพ์เล็กไม่ใช่ตัวเลขหรืออะไรก็ได้) thereforeมีอยู่คนหนึ่งสมการต่อบรรทัดในรายการยกเว้นบรรทัดเดียวเท่านั้นที่บอกว่าเป็น สมการข้างต้นthereforeทั้งหมดเป็นสถานที่ข้อเท็จจริงที่สันนิษฐานว่าเป็นจริง สมการด้านล่างthereforeทั้งหมดเป็นข้อเสนอที่ไม่ผ่านการตรวจสอบข้อเท็จจริงที่อเล็กซ์กำลังพยายามอนุมานจากสถานที่และพวกเขาอาจจะหรืออาจจะไม่จริง ตัวอย่างเช่นในรายการสมการนี้ข้อเสนอข้อสรุปเดียวที่A = Cเกิดขึ้นเป็นจริง: A = B B = C therefore A = C เป็นหน้าที่ของคุณที่จะบอกอเล็กซ์ว่าข้อเสนอทั้งหมดของเขามีเหตุผลตามมาจากสถานที่ที่กำหนดหรือไม่ นั่นคือคุณต้องบอกอเล็กซ์ว่าเขาผิดหรือถูกในข้อสรุปของเขา เขียนโปรแกรม / ฟังก์ชั่นที่ใช้ในสตริงของรายการสมการตามที่อธิบายและพิมพ์ / ส่งคืน Alex is right หากข้อสรุปทั้งหมดเป็นไปตามหลักเหตุผลจากสถานที่และจะแสดงผลลัพธ์เป็นอย่างอื่น Alex is wrong หากข้อสรุปใด ๆ ไม่เป็นไปตามเหตุผลจากสถานที่ รหัสที่สั้นที่สุดในหน่วยไบต์ชนะ อย่าลืมระวังกรณีเหล่านี้: ตัวแปรจะเท่ากับตัวเองเสมอ เช่น B …

50 code-golf  math  logic 

Intro ทุก ๆ ปีDyalog Ltd.จัดการแข่งขันสำหรับนักเรียน ความท้าทายคือการเขียนรหัส APL ที่ดี นี่เป็นรุ่นที่ผู้ไม่เชื่อเรื่องภาษารหัสของปัญหาที่แปดของปีนี้ ฉันมีสิทธิ์อย่างชัดเจนในการโพสต์ความท้าทายนี้ที่นี่จากผู้เขียนต้นฉบับของการแข่งขัน รู้สึกอิสระที่จะตรวจสอบโดยทำตามลิงค์ที่ให้ไว้และติดต่อผู้เขียน ปัญหา รับรายการบูลีน * "ปิด" ความจริงทั้งหมดหลังจากความจริงครั้งแรก ไม่มีความจริงเหรอ? ไม่มีปัญหา! เพียงแค่คืนค่ารายการโดยไม่แก้ไข ตัวอย่าง [falsy,truthy,falsy,truthy,falsy,falsy,truthy] → [falsy,truthy,falsy,falsy,falsy,falsy,falsy] [] → [] [falsy,falsy,falsy,falsy] → [falsy,falsy,falsy,falsy] * ความจริงทั้งหมดของคุณจะต้องเหมือนกันและความเท็จทั้งหมดของคุณจะต้องเหมือนกัน รวมถึงผลลัพธ์ด้วย

47 code-golf  array-manipulation  logic 

Stackylogic เป็นภาษาการเขียนโปรแกรมแบบลอจิกที่ฉันสร้างขึ้นซึ่งใช้เวลาในการ0's และ1' s สำหรับการป้อนข้อมูลและการส่งออกเดียว0หรือ1เมื่อเสร็จสิ้น โปรแกรม Stackylogic ประกอบด้วยเส้นที่สามารถมีตัวละครทั้งสาม01?เช่นเดียวกับว่าหนึ่ง<ในตอนท้ายของหนึ่งของเส้น สายอาจจะไม่ว่างเปล่าและบรรทัดที่มี<จะต้องมีอย่างน้อยหนึ่ง0, 1หรือ?ก่อนที่มันจะ นี่คือโปรแกรมตัวอย่างที่ (ตามที่ฉันจะอธิบาย) คำนวณNANDของสองบิต: 1 ?< 11 ? 0 ทุกบรรทัดในโปรแกรม Stackylogic ถือเป็นสแต็กโดยมีด้านล่างทางด้านซ้ายและด้านบนทางด้านขวา โดยนัยมีสแต็กเปล่า (บรรทัดว่าง) อยู่ก่อนบรรทัดแรกในโปรแกรมและหลังบรรทัดสุดท้าย <ซึ่งเราจะเรียกเคอร์เซอร์เครื่องหมายสแต็คที่จะเริ่มต้นเมื่อโปรแกรม Stackylogic มีการเรียกใช้ การดำเนินการของโปรแกรม Stackylogic ดำเนินการดังนี้: วางอักขระบนสุดออกจากสแต็กที่เคอร์เซอร์กำลังชี้ไป หากตัวละครนั้น?ให้แจ้งผู้ใช้สำหรับ0หรือหรือ1และทำราวกับว่าเป็นตัวละคร หากอักขระอยู่0ให้เลื่อนเคอร์เซอร์ขึ้นหนึ่งกอง (ไปยังบรรทัดที่อยู่เหนือบรรทัดปัจจุบัน) หากอักขระอยู่1ให้เลื่อนเคอร์เซอร์หนึ่งสแต็กลง (ไปยังบรรทัดด้านล่างบรรทัดปัจจุบัน) หากกองเคอร์เซอร์เลื่อนไปที่ว่างเปล่าเอาท์พุทค่าสุดท้ายที่โผล่ออกมาจากกอง (เสมอ0หรือหรือ1) และจบโปรแกรม มิฉะนั้นหากเคอร์เซอร์เลื่อนไปที่ไม่ว่างเปล่าให้กลับไปที่ขั้นตอนที่ 1 และทำซ้ำกระบวนการ โปรดสังเกตว่าโปรแกรม Stackylogic มักจะจบลงเพราะพวกเขาจะต้องทำให้หมดสแต็กในที่สุด ตัวอย่าง NAND ในโปรแกรม NAND เคอร์เซอร์เริ่มต้นที่?: …

45 code-golf  interpreter  binary  logic-gates  logic 

งาน งานของคุณคือการเขียนฟังก์ชั่นหรือโปรแกรมในภาษาที่คุณเลือกซึ่งจะวิเคราะห์ข้อความสองสามข้อและพิจารณาว่าสามารถสรุปได้จากข้อความที่หมูสามารถบินได้หรือไม่ อินพุต อินพุตเป็นสตริงที่สามารถอ่านได้จาก STDIN, ถ่ายเป็นอาร์กิวเมนต์ฟังก์ชันหรือแม้แต่เก็บไว้ในไฟล์ อินพุตสามารถอธิบายได้โดยใช้ EBNF ต่อไปนี้: input = statement , {statement}; statement = (("Pigs are ", attribute) | ("Everything that is ", attribute, "is also ", attribute)), ". "; attribute = [not], ("able to fly" | singleAttribute); singleAttribute = letter, {letter}; letter = "a" | "b" | …

45 code-golf  natural-language  logic 

ฉันคิดว่ามันเกี่ยวกับเวลาที่เรามีคำถามพิสูจน์กอล์ฟอีกครั้ง เวลานี้เรากำลังจะพิสูจน์ความจริงเชิงตรรกะที่รู้จักกันดี ( A → B ) → ( ¬ B → ¬ A )(A→B)→(¬B→¬A)(A \rightarrow B) \rightarrow (\neg B \rightarrow \neg A) การทำเช่นนี้เราจะใช้Łukasiewiczที่สามของความจริง Schema , ชุดที่สง่างามอย่างเหลือเชื่อของสามหลักการที่มีความสมบูรณ์มากกว่าตรรกะประพจน์ นี่คือวิธีการทำงาน: สัจพจน์ ระบบŁukasiewiczมีสัจพจน์สามประการ พวกเขาคือ: ϕ → ( ψ → ϕ )ϕ→(ψ→ϕ)\phi\rightarrow(\psi\rightarrow\phi) ( ϕ → ( ψ → χ ) ) → ( ( …

38 logic  proof-golf 

CodeGolf Challenge PWSSHHHH! คุณตื่นขึ้นมาในห้องทดลองไครโอนิคส์ในปี 3000 เมื่อถูกพาไปยังสำนักงานที่ได้รับมอบหมายเพื่อรับชิปอาชีพของคุณน่าจะเป็นของเด็กส่งของการสอบสวนตรวจพบว่าคุณมาจากปี 2000 ด้วยเหตุนี้และอีกไม่กี่ แบบแผนคุณจะถือว่าโง่เมื่อเทียบกับวันนี้ของมนุษย์ที่ทันสมัยและถูกบังคับให้ทำซ้ำ gradeschool คุณเข้าสู่ชั้นเรียนแรกและครูกำลังมอบหมาย เธอจะพูดหรือเขียนตัวเลขมากถึง 50 ถ้าเธอเขียนหมายเลขลงบนกระดาน (เช่น: 25) จากนั้นคุณต้องพูดตัวเลขนั้นให้มากที่สุด "หนึ่ง, สอง, สาม, ... , ยี่สิบห้า - " ถ้าเธอบอกว่าจำนวนดังออกมา (เช่น: "หก") จากนั้นบนแท็บเล็ตของคุณคุณต้องเขียนตัวเลขนั้นให้เป็นตัวเลข "1, 2, 3, 4, 5, 6" สิ่งนี้กลายเป็นเรื่องน่าเบื่อมากและคุณตัดสินใจว่าจะทำให้กระบวนการทำงานโดยอัตโนมัติด้วยความรู้ด้านการเขียนโปรแกรมสมัยศตวรรษที่ 21 วัตถุประสงค์: โปรแกรมของคุณควรรับอินพุต อินพุตนี้จะเป็นตัวเลขทศนิยม ( 1 thru 50) หรือหมายเลขที่เขียนออกมา ( one thru fifty) •หากอินพุตเป็นตัวเลขทศนิยมเอาต์พุตของคุณควรนับจากหนึ่งถึงตัวเลขดังกล่าวโดยใช้สไตล์การเขียนออกมา …

36 code-golf  string  math  natural-language  logic 

เราทุกคนคุ้นเคยกับลำดับฟีโบนักชี : 0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, 610, 987, 1597, 2584, 4181, 6765 อย่างไรก็ตามแทนที่จะf(n) = f(n-1) + f(n-2)เราจะนำผลรวมดิจิตอลของ 2 รายการก่อนหน้า ลำดับควรเริ่มต้นด้วย0, 1หลังจากนั้นความแตกต่างจะปรากฏอย่างรวดเร็ว รายการนี้ได้รับการจัดทำดัชนี 0 คุณสามารถใช้ 1 ดัชนีเช่นกันซึ่งเป็นสถานะที่คุณใช้ f(0) = 0 f(1) = 1 f(2) = 1 # 0 + 1 …

30 code-golf  sequence  fibonacci  code-golf  math  geometry  random  code-golf  code-golf  math  decision-problem  fractal  rational-numbers  code-golf  number  number-theory  code-golf  combinatorics  permutations  card-games  code-golf  math  sequence  array-manipulation  fibonacci  code-golf  sequence  decision-problem  graph-theory  code-golf  ascii-art  parsing  lisp  code-golf  string  math  natural-language  logic  code-golf  math  logic  code-golf  string  alphabet  code-golf  string  code-golf  string 

งานของคุณคือการเขียนโปรแกรมหรือฟังก์ชั่นที่พิมพ์รูปสามเหลี่ยม ASCII พวกเขามีลักษณะเช่นนี้: |\ | \ | \ ---- โปรแกรมของคุณจะมีการป้อนข้อมูลที่เป็นตัวเลขเดียวกับข้อ จำกัดn สามเหลี่ยมดังกล่าวข้างต้นมีมูลค่าของ0 <= n <= 1000n=3 สามเหลี่ยม ASCII จะมีnแบ็กสแลช ( \) และบาร์แนวตั้ง ( |), n+1เส้นและขีดกลาง ( -) และแต่ละบรรทัดจะมีจำนวนช่องว่างเท่ากับหมายเลขบรรทัด (อิงตาม 0, คือบรรทัดแรกคือบรรทัดที่ 0) นอกเหนือจากบรรทัดสุดท้าย . ตัวอย่าง: การป้อนข้อมูล: 4 เอาท์พุท: |\ | \ | \ | \ ----- การป้อนข้อมูล: 0 เอาท์พุท: ในกรณีทดสอบนี้ผลลัพธ์จะต้องว่างเปล่า …

30 code-golf  ascii-art  code-golf  rubiks-cube  code-golf  path-finding  maze  regular-expression  code-golf  math  rational-numbers  code-golf  kolmogorov-complexity  graphical-output  code-golf  tips  code-golf  string  permutations  code-golf  sorting  base-conversion  binary  code-golf  tips  basic  code-golf  number  number-theory  fibonacci  code-golf  date  code-golf  restricted-source  quine  file-system  code-golf  code-golf  math  code-golf  ascii-art  code-golf  math  primes  code-golf  code-golf  math  matrix  code-golf  string  math  logic  factorial  code-golf  palindrome  code-golf  quine  stateful  code-golf  interactive  code-golf  board-game  code-golf  math  arithmetic  code-golf  string  code-golf  math  matrix  code-golf  math  abstract-algebra  polynomials  code-golf  date  code-golf  string  array-manipulation  sorting  code-golf  game  code-golf  string  code-golf  ascii-art  decision-problem  code-golf  number  sequence  code-golf  code-golf  code-golf  sequence  fibonacci  code-golf  math  geometry  random  code-golf  code-golf  math  decision-problem  fractal  rational-numbers  code-golf  number  number-theory  code-golf  combinatorics  permutations  card-games  code-golf  math  sequence  array-manipulation  fibonacci  code-golf  sequence  decision-problem  graph-theory  code-golf  ascii-art  parsing  lisp  code-golf  string  math  natural-language  logic  code-golf  math  logic  code-golf  string  alphabet  code-golf  string  code-golf  string 

บทนำ ภารกิจในชีวิตของคุณนั้นง่าย: พิสูจน์คนผิดทางอินเทอร์เน็ต! ในการทำเช่นนี้คุณมักวิเคราะห์ข้อความของพวกเขาอย่างรอบคอบและชี้ให้เห็นถึงความขัดแย้งในพวกเขา ถึงเวลาที่จะทำสิ่งนี้โดยอัตโนมัติ แต่เมื่อเราขี้เกียจเราต้องการพิสูจน์คนผิดด้วยความพยายามน้อยที่สุด (อ่าน: รหัสที่สั้นที่สุด) ที่เป็นไปได้ สเปค อินพุต การป้อนข้อมูลของคุณจะเป็นสูตรในรูปแบบปกติซึ่งเชื่อมต่อกัน สำหรับรูปแบบคุณสามารถใช้รูปแบบด้านล่างหรือกำหนดรูปแบบของคุณเองตามความต้องการในภาษาของคุณ (คุณไม่สามารถเข้ารหัสในรูปแบบได้มากกว่า CNF ล้วนๆ) อย่างไรก็ตามกรณีทดสอบ (ที่นี่) มีให้ในรูปแบบด้านล่าง (แม้ว่าจะไม่สร้างตัวคุณเองยากเกินไป) ข้อมูลที่คุณป้อนจะเป็นรายการของรายการตัวแปร (คุณอาจอ่านเป็นสตริง / ต้องการสตริง) อินพุตเป็นสูตรในรูปแบบปกติที่เชื่อมต่อกัน (CNF) ที่เขียนเป็นชุดคำสั่งแต่ละรายการเป็นรายการสองรายการ รายการแรกในข้อเข้ารหัสตัวอักษรบวก (ตัวแปร) รายการที่สองเข้ารหัสตัวอักษร (ลบ) ตัวแปร (ตัวแปร) ตัวแปรทั้งหมดในส่วนคำสั่งคือ OR'ed เข้าด้วยกันและส่วนคำสั่งทั้งหมดเป็น AND'ed เข้าด้วยกัน หากต้องการทำให้ชัดเจนยิ่งขึ้น[[[A,B],[C]],[[C,A],[B]],[[B],[A]]]สามารถอ่านได้ที่: (A OR B OR (NOT C)) AND (C OR A OR …

22 code-golf  math  logic 

คณิตศาสตร์มีสัญลักษณ์มากมาย บางคนอาจพูดสัญลักษณ์มากเกินไป ลองทำคณิตศาสตร์พร้อมรูปภาพกัน ให้มีกระดาษซึ่งเราจะวาดบน ในการเริ่มต้นกระดาษที่ว่างเปล่าที่เราจะบอกว่าเทียบเท่ากับหรือจริง⊤⊤\topจริงจริง\textit{true} ถ้าเราเขียนสิ่งอื่น ๆ ลงบนกระดาษพวกเขาก็จะเป็นจริง ตัวอย่างเช่น ระบุว่าการอ้างสิทธิ์และQเป็นจริงPPPQQQ ตอนนี้ให้เราบอกว่าถ้าเราวาดวงกลมรอบคำสั่งบางคำที่เป็นเท็จ สิ่งนี้แสดงถึงตรรกะไม่ใช่ ตัวอย่างเช่น: บ่งชี้ว่าเป็นเท็จและQเป็นจริงPPPQQQ เรายังสามารถวางวงกลมรอบคำสั่งย่อยหลายรายการ: ตั้งแต่ส่วนภายในวงกลมตามปกติอ่านเป็นโดยการวางวงกลมรอบ ๆ มันจะหมายถึงการไม่ได้ ( P และ Q ) เราสามารถทำรังเป็นวงกลมได้P และ QP และ QP\text{ and }Qไม่ ( P และ Q )ไม่ (P และ Q)\text{not }(P\text{ and }Q) ไม่ ( ( ไม่ใช่ P) และ Q )ไม่ ((ไม่ …

22 math  logic  proof-golf 

ท้าทาย คุณจะได้รับการป้อนข้อมูลสตริงทุกคำ"Lemon"จะพบว่ามันควรจะเปลี่ยนไป"Lemonade" แต่a , dและeจะต้องยืมมาจากที่อื่นในประโยค ตัวอย่าง อินพุตตัวอย่าง: ฉันพบมะนาวเมื่อตอนเป็นเด็ก ตัวอย่างผลลัพธ์: ฉันทำน้ำมะนาวเมื่อฉันยังเด็ก The Lemonadeสร้างขึ้นโดยการขโมยตัวอักษรยกต่อไปนี้จากต้นฉบับ ฉัน Foun dน้ำมะนาว WH E n ผมเป็นเด็ก นี่เป็นเพียงตัวอย่างหนึ่งที่เป็นไปได้คือ "e", "d" และ "a" ซึ่งอาจถูกนำมาจากที่ใดก็ได้ ( ยกเว้นจากคำว่าlemonแน่นอน ) ความคิดเห็น •หากมีไม่เพียงพอe, aหรือds คุณส่งออกสิ่งที่สามารถทำด้วยตัวอักษรจะต้องได้รับ ตัวอย่างเช่นการป้อนข้อมูลbdblemonจะส่งออกbblemond • lemonข้อความอาจไม่ได้เป็นแบบสแตนด์อโลน (เว้นวรรคในแต่ละด้าน) ตัวอย่างเช่นคุณอาจมีคำlemonsบางคำในอินพุตและเอาต์พุตควรเป็นlemonades •อินพุตอาจมีจำนวนlemons ใด ๆแม้แต่ 0 lemonวินาที (ซึ่งในกรณีนี้เอาต์พุตจะเหมือนกับอินพุต) •คุณสามารถทำน้ำมะนาวของคุณด้วยตัวอักษรตัวพิมพ์ใหญ่และตัวพิมพ์เล็กตัวอย่างเช่นleMonอาจกลายเป็นleMonadeและการadeยืมสามารถเป็นกรณีใด ๆ (ดังนั้นมันอาจจะกลายเป็นleMonADe) กรณีของจดหมายที่คุณยืมต้องอยู่ในสภาพเดิมเมื่อคุณยืม (ตัวอย่างอินพุต -> เอาต์พุตhe …

21 code-golf  string  code-golf  parsing  internet  stack-exchange-api  code-challenge  kolmogorov-complexity  restricted-source  brain-flak  python  logic  pyth  code-golf  string  search  optimized-output  code-golf  tips  language-design  golfing-language  code-golf  tips  language-design  code-golf  number  sorting  pi  code-golf  math  number  code-golf  string  balanced-string  classification  brain-flak  code-golf  math  number-theory  decision-problem  code-golf  tips  code-golf  number  sequence  code-golf  balanced-string  brain-flak  code-golf  math  sequence  arithmetic  fibonacci  code-golf  math  parsing  code-golf  string  keyboard  code-golf  code-golf  string  source-layout  whitespace  code-golf  math  rational-numbers  code-golf  string  code-golf  string  code-golf  math  sequence  code-golf  number  floating-point  code-golf  string  decision-problem  subsequence  code-golf  string  kolmogorov-complexity  code-golf  string  permutations  balanced-string  brain-flak  code-golf  string  math  number  code-golf  string  primes  cipher  code-golf  string  ascii-art  chemistry  code-golf  ascii-art  grid  counting  code-golf  math  arithmetic  integer  code-golf  number  kolmogorov-complexity  code-golf  ascii-art  kolmogorov-complexity  sequence  metagolf  brain-flak  code-golf  ascii-art  kolmogorov-complexity  code-golf  string  whitespace 

ใช้ในการหาข้อสรุปในสิบของหักธรรมชาติระบบพิสูจน์กฎหมาย DeMorgan ของ กฎของการลดธรรมชาติ บทนำการปฏิเสธ: {(P → Q), (P → ¬Q)} ⊢ ¬P การกำจัดการปฏิเสธ: {(¬P → Q), (¬P → ¬Q)} ⊢ P และการแนะนำ: {P, Q} ⊢ P ʌ Q และกำจัด: P ʌ Q ⊢ {P, Q} หรือแนะนำ: P ⊢ {(P ∨ Q),(Q ∨ P)} หรือกำจัด: {(P ∨ Q), (P → …

21 atomic-code-golf  logic  proof-golf 

ฉันได้รับความท้าทายนี้จากรหัสและฉันอยากรู้เกี่ยวกับการแก้ปัญหาที่ดีกว่าของฉัน: กำหนดความกว้างผ่านอินพุตมาตรฐานให้วาดสี่เหลี่ยมกลวงของ '#' ในความกว้างและความยาวที่กำหนด ตัวอย่าง: 5 ผลลัพธ์ใน ##### # # # # # # ##### ฉันใช้หลามเพื่อแก้ปัญหานี้ดังนั้นฉันจึงสนใจในรหัสหลามอื่น ๆ โดยเฉพาะ แต่โปรดโพสต์โซลูชันของคุณในภาษาที่คุณต้องการ

21 code-golf  string  ascii-art  number  code-golf  grid  code-golf  string  ascii-art  code-golf  alphabet  cipher  code-golf  math  number  code-golf  quine  code-golf  palindrome  polyglot  code-golf  number  array-manipulation  counting  logic  code-golf  string  primes  binary  decision-problem  code-golf  ascii-art  kolmogorov-complexity  popularity-contest  code-golf  probability-theory  code-golf  string  code-golf  python  polyglot  programming-puzzle  c++  code-golf  math  code-golf  binary  integer  bitwise  code-golf  rational-numbers  code-golf  string  palindrome  code-golf  ascii-art  code-golf  code-golf  string  fibonacci  code-golf  math  sequence  code-golf  code-golf  string  palindrome  code-golf  string  code-golf  math  primes  source-layout  code-golf  sequence  binary  integer  code-golf  math  arithmetic  game  code-golf  restricted-source  palindrome  code-golf  restricted-source  palindrome  code-golf  combinatorics  binary  code-golf  string  math  code-golf  ascii-art  number  code-golf  cipher  code-golf  base-conversion  counting  code-golf  sequence  random  classification  code-golf  string  subsequence  code-golf  permutations  code-golf  string  code-golf  string  cipher  code-golf  kolmogorov-complexity  arithmetic  integer  code-golf  quine  markov-chain  code-golf  string  code-golf  code-golf  ascii-art  maze