มัคคุเทศก์ นี้ ให้ กระบวนการ ที่ ชัดเจน ใน การ สร้าง ตาราง ความ จริง และ การ ทํา ให้ คํา พูด ที่ เรียบ ง่าย เป็น แบบ ง่าย ๆ.

การ สร้าง โต๊ะ ความ จริง

เพื่อสร้างตารางความจริง ให้รายการการผสมค่านําเข้าที่เป็นไปได้ทั้งหมด สําหรับแต่ละชุด ให้เลือกผลลัพธ์ของรูปแบบนิพจน์ตรรกะ โพรเซสนี้จะช่วยเห็นภาพว่าค่านําเข้าต่าง ๆ มีผลกระทบอย่างไร

เริ่ม ด้วย ตัว เลข ที่ เกี่ยว ข้อง และ สร้าง คอลัมน์ สําหรับ แต่ ละ คน.

นิพจน์ที่ปรับให้ง่าย

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

กฎสามัญรวมถึงการรวมเงื่อนไขต่างๆ เช่น การกําจัดความไม่เสมอภาค และใช้อัตลักษณ์ เช่น

  • [FLT: 0]. สืบค้นเมื่อ 7 December 2015. A และ 1 = A
  • [FLT: 0]. สืบค้นเมื่อ 7 December 2015. A และ 0 = 0
  • [FLT: 0] ประมวลกฎหมาย : A และไม่ใช่ A = 0
  • [FLT: 0] กฎหมายการแบ่งประเภท : A และ (BOOC) = (A และ B) Or (A และ C)

โพรเซสตัวอย่าง

สมมุติ ว่า คํา นี้ หมาย ถึง A และ (B or C). เพื่อ ให้ เรียบ ง่าย ให้ ใช้ กฎ การกระจาย:

A และ B หรือ A และ C

การ ทํา ตาราง ความ จริง ให้ เป็น ที่ ยืน ยัน ว่า ทั้ง สอง คํา มี ความ หมาย เท่า กัน.