วิทยาศาสตร์คอมพิวเตอร์: ตารางความจริง การสร้างตารางความจริง

วันนี้เราพูดคุยเกี่ยวกับเรื่องที่เรียกว่าวิทยาศาสตร์ ตารางความจริง, ความหลากหลายของฟังก์ชั่นเพื่อการดำเนินการ - เหล่านี้เป็นคำถามพื้นฐานของเราซึ่งเราจะพยายามที่จะหาคำตอบในบทความ

โดยปกติการเรียนการสอนการเรียนการสอนในโรงเรียนมัธยม แต่นักเรียนหลายคนเข้าใจผิดเป็นสาเหตุของคุณสมบัติบางอย่าง และถ้าคุณกำลังจะอุทิศชีวิตของฉันมันก็ไม่สามารถทำโดยการวางการสอบของรัฐเดียวในวิทยาการคอมพิวเตอร์ ตารางความจริงแปลงนิพจน์ที่ซับซ้อนปัญหาตรรกะการตัดสินใจ - มันสามารถตอบสนองทุกตั๋ว ตอนนี้เราพิจารณาในรายละเอียดมากขึ้นหัวข้อนี้และช่วยให้คุณได้ลูกมากขึ้นในการสอบ

ตรรกะของเรื่อง

สิ่งที่ชนิดของเรื่อง - วิทยาการคอมพิวเตอร์? ตารางความจริง - วิธีการสร้างมันได้หรือไม่ ทำไมวิทยาศาสตร์เป็นตรรกะ? ทุกคำถามเหล่านี้เราจะตอบกับคุณในขณะนี้

เทคโนโลยีสารสนเทศ - มันค่อนข้างเป็นเรื่องที่น่าสนใจ มันอาจจะไม่เป็นเรื่องยากในสังคมสมัยใหม่เพราะทุกอย่างที่อยู่รอบตัวเราหรืออีกวิธีหนึ่งที่เกี่ยวข้องกับคอมพิวเตอร์

ความรู้พื้นฐานของตรรกะของวิทยาศาสตร์เป็นครูโรงเรียนมัธยมในการเรียนวิทยาศาสตร์ ตารางความจริง, ฟังก์ชั่นการลดความซับซ้อนการแสดงออก - ทั้งหมดนี้ควรจะอธิบายครูวิทยาศาสตร์คอมพิวเตอร์ วิทยาศาสตร์นี้เป็นสิ่งจำเป็นอย่างยิ่งในชีวิตของเรา มองอย่างใกล้ชิดทุกอย่างเป็นไปตามกฎหมายใด ๆ คุณปลูกบอล, มันบินขึ้น แต่แล้วกลับลงไปที่โลกมันเป็นเพราะกฎหมายของฟิสิกส์และกองกำลังของแรงโน้มถ่วง แม่พ่อครัวซุปและเพิ่มเกลือ ทำไมเมื่อเรากินเราไม่ได้เจอธัญพืช? ค่อนข้างง่าย, เกลือละลายในน้ำภายใต้กฎหมายของเคมี

ตอนนี้ให้ความสนใจกับวิธีการที่คุณพูดคุย

• "ถ้าฉันจะใช้แมวของคุณไปยังคลินิกสัตวแพทย์เขาคือการได้รับวัคซีน."
• "วันนี้เป็นวันที่ยากมากเพราะคุณต้องตรวจสอบ."
• "ผมไม่ต้องการที่จะไปที่มหาวิทยาลัยเพราะวันนี้จะมีการสัมมนา" และอื่น ๆ

สิ่งที่คุณพูดว่าให้แน่ใจว่าจะปฏิบัติตามกฎหมายของตรรกะ นี้ใช้ได้ทั้งกับธุรกิจและเพื่อการสนทนาที่เป็นมิตร มันเป็นเพราะเหตุนี้มันเป็นสิ่งจำเป็นที่จะเข้าใจกฎหมายของตรรกะที่ไม่ทำหน้าที่ที่สุ่มและมีความมั่นใจในผลของเหตุการณ์ที่เกิดขึ้น

ฟังก์ชั่น

เพื่อที่จะทำให้ตารางความจริงสำหรับงานนำเสนอที่คุณต้องรู้ฟังก์ชั่นลอจิก มันคืออะไร? ฟังก์ชั่นลอจิกมีตัวแปรบางอย่างซึ่งเป็นงบ (จริงหรือเท็จ) และค่าของฟังก์ชั่นของตัวเองควรจะให้เราคำตอบของคำถาม: "การแสดงออกเป็นจริงหรือเท็จ"

การแสดงออกทั้งหมดมีค่าต่อไปนี้:

• จริงหรือเท็จ
• T หรือเอฟ
• 1 หรือ 0
• บวกหรือลบ

ที่นี่ให้การตั้งค่าซึ่งเป็นวิธีการที่สะดวกมากขึ้นสำหรับคุณ เพื่อที่จะทำให้ตารางความจริงที่เราต้องรายการรวมกันทั้งหมดของตัวแปร จำนวนของพวกเขาจะถูกคำนวณโดยสูตร: 2 n อำนาจ ผลจากการคำนวณ - จำนวนของการรวมกันเป็นไปได้ของ n ตัวแปรในสูตรหมายถึงจำนวนของตัวแปรในสภาพ หากการแสดงออกที่มีจำนวนมากของตัวแปรที่คุณสามารถใช้เครื่องคิดเลขสำหรับตัวเองหรือทำให้โต๊ะขนาดเล็กที่มีการแข็งตัวของสองถึงอำนาจ

ฟังก์ชั่นตรรกะทั้งหมดอยู่ในเจ็ดหรือพันธบัตรการเชื่อมโยงการแสดงออก:

• คูณ (ร่วม)
• นอกจาก (หย่า)
• ควันหลง (หมาย)
• สมดุล
• การผกผัน
• Sheffer โรคหลอดเลือดสมอง
• เพียร์ซลูกศร

การดำเนินการครั้งแรกที่แสดงอยู่ในรายการที่เรียกว่า "คูณตรรกะ." มันอาจจะตั้งข้อสังเกตกราฟิกในรูปแบบของฤๅษีเห็บสัญญาณและหรือ * ขั้นตอนที่สองในรายการของเรา - นอกจากตรรกะแสดงกราฟิกเป็นเห็บ + ความหมายเป็นผลมาจากตรรกะที่ระบุโดยลูกศรชี้จากเงื่อนไขในการสอบสวน ความเท่าเทียมกันจะเขียนแทนด้วยลูกศรสองทางฟังก์ชั่นมีค่าความจริงเฉพาะในกรณีของรหัสทั้งสองค่าใช้ค่า "1" หรือ "0" ผกผันเป็นปฏิเสธตรรกะ จังหวะ Sheffer ฟังก์ชั่นที่เรียกว่าซึ่งปฏิเสธร่วมและตรรกะมิได้ - ฟังก์ชั่นกวนหย่า

ฟังก์ชั่นพื้นฐานไบนารี

ตารางความจริงตรรกะช่วยในการหาคำตอบให้กับปัญหาที่เกิดขึ้น แต่คุณต้องจำตารางของฟังก์ชั่นไบนารี ในส่วนนี้พวกเขาจะได้รับ

ร่วม (คูณ) หากทั้งสองสำนวนที่เป็นจริงผลที่เราได้รับความจริงในกรณีอื่น ๆ ทั้งหมดที่เราได้รับความเท็จ

ดูเหมือนว่าตารางที่คุณรู้แล้วไม่มีความจำเป็นที่จะนำไปให้ทุกสูตร ในภาพข้างบนที่คุณเห็นในบางกรณีผลที่ได้คือเท่ากับหนึ่ง

ผลที่ได้ - นอนที่นอกจากตรรกะเราเป็นเพียงในกรณีที่ทั้งสองปัจจัยการผลิตที่เป็นเท็จ

ผลตรรกะของผลเท็จเฉพาะเมื่ออยู่ในสภาพที่เป็นจริงเป็นผล - โกหก คุณสามารถให้ตัวอย่างจากชีวิต: "ผมอยากที่จะซื้อน้ำตาล แต่ร้านปิด" ดังนั้นน้ำตาลและไม่ได้ซื้อ

ความเท่าเทียมเป็นความจริงเฉพาะในกรณีของค่าที่ป้อนเข้าที่เหมือนกัน นั่นคือเมื่อคู่ของ "0, 0" หรือ "1, 1"

ในกรณีของการผกผันประถมทั้งหมดถ้าใส่คือการแสดงออกจริงก็จะถูกแปลงเป็นเท็จและในทางกลับกัน ในภาพที่คุณสามารถดูวิธีการที่จะชี้ให้เห็นภาพกราฟิก

เอาท์พุทบาร์ Schiffer จะมีผลเท็จเท่านั้นถ้ามีสองสำนวนที่จริง

ในกรณีของตรรกะหรือฟังก์ชั่นจะเป็นจริงเฉพาะในกรณีที่ถ้าใส่เรามีเพียงการแสดงออกที่เป็นเท็จ

ในสิ่งที่สั่งการดำเนินการเชิงตรรกะ

โปรดทราบว่าการก่อสร้างของตารางความจริงและความเรียบง่ายของการแสดงออกเป็นไปได้เฉพาะเมื่อลำดับที่ถูกต้องของการดำเนินงาน โปรดจำไว้ลำดับที่พวกเขาควรจะดำเนินการก็เป็นสิ่งสำคัญมากที่จะได้รับผลที่ถูกต้อง

• ปฏิเสธตรรกะ;
• คูณ;
• นอกจากนี้;
• สืบสวน;
• ความเท่าเทียมกัน;
• การปฏิเสธการคูณ (Sheffer โรคหลอดเลือดสมอง);
• ปฏิเสธนอกจาก (ลูกศรชี้เพียร์ซ)

ตัวอย่าง№1

ตอนนี้เราเสนอให้พิจารณาตัวอย่างของการสร้างตารางความจริงสำหรับ 4 ตัวแปร คุณจำเป็นต้องรู้ในกรณีที่ F = 0 ในสมการ: Nea + B + C * D

คำตอบสำหรับงานนี้จะมีการถ่ายโอนของการรวมกันดังต่อไปนี้: "1, 0, 0, 0", "1, 0, 0, 1" และ "1, 0, 1, 0" ที่คุณสามารถดูให้ตารางค่อนข้างเป็นเพียงความจริง อีกครั้งหนึ่งที่ผมอยากจะดึงความสนใจของคุณคำสั่งของการกระทำนั้น เฉพาะในกรณีที่มันเป็นดังต่อไปนี้:

1. ผกผันของการแสดงออกที่เรียบง่ายเป็นครั้งแรก
2. ร่วมที่ของการแสดงออกที่สามและสี่
3. การแสดงออกที่สองร้าวฉานกับผลลัพธ์ของการคำนวณก่อนหน้านี้

ตัวอย่าง№2

ตอนนี้เรามองที่งานที่ต้องมีการก่อสร้างของตารางความจริงอีก คอมพิวเตอร์ (ตัวอย่างถูกพรากไปจากหลักสูตรโรงเรียน) อาจมี ปัญหาตรรกะ เป็นข้อมูลอ้างอิง ดูสั้นที่หนึ่งของพวกเขา ทำ Vanya ความผิดของการขโมยลูกถ้าคุณรู้ว่าต่อไปนี้:

• หากเวนไม่ได้ขโมยหรือขโมยปีเตอร์แล้ว Sergei มีส่วนร่วมในการโจรกรรม
• ถ้าอีวานไม่ได้เป็นความผิดและ Sergei ไม่ได้ขโมยลูก

เราแนะนำสัญกรณ์: ผม - อีวานขโมยลูก; P - ปีเตอร์ขโมย; C - Sergei ขโมย

ภายใต้สภาพเช่นนี้ทำให้เราสามารถสร้างสมการ F = ((Nei + R) หมาย C) * (Nei หมาย HEC) เราจำเป็นต้องมีตัวเลือกเหล่านั้นที่ฟังก์ชั่นที่จะเกิดมูลค่าที่แท้จริง ถัดไปสร้างตารางเพราะฟังก์ชั่นนี้จะเป็นมากที่สุดเท่าที่ 7 การดำเนินการก็จะถูกมองข้าม เราจะทำโดยการป้อนข้อมูลและผลเท่านั้น

โปรดสังเกตว่าในปัญหานี้เรามีแทนที่จะเป็น "0" สัญลักษณ์และ "1" ใช้บวกและลบ นอกจากนี้ยังเป็นที่ยอมรับ เรามีความสนใจในการรวมกันที่ F = + หลังจากการวิเคราะห์พวกเขาเราสามารถวาดข้อสรุปต่อไปนี้: Vanya มีส่วนร่วมในการขโมยของลูกเช่นเดียวกับในทุกกรณีที่ต้องใช้ F + ค่าและมีความคุ้มค่าในเชิงบวก

ตัวอย่าง№3

ตอนนี้เราให้คุณที่จะหาจำนวนของการรวมกันเมื่อ F = 1 สมการได้ดังนี้ F = Nea + B * A + Neuve ตารางความจริง

A: 4 รวมกัน