กฎเดอมอร์แกน
กฎเดอมอร์แกน (De Morgan's laws) กฎเดอมอร์แกน (อังกฤษ: De Morgan's laws) หรือ ทฤษฎีบทเดอมอร์แกน (อังกฤษ: De Morgan's theorem) เป็นกฎในวิชาตรรกศาสตร์ คือ ชุดของกฎในสาขาตรรกศาสตร์รูปนัยซึ่งแสดงความสัมพันธ์อย่างเป็นระบบระหว่างคู่ของตัวดำเนินการเชิงตรรกที่คู่กัน โดยแสดงในรูปนิเสธ ความสัมพันธ์เช่นนี้เรียกว่าภาวะคู่กันเดอมอร์แกน ( De Morgan duality) กฎนี้แสดงว่าประพจน์ทางซ้ายมือต่อไปนี้แต่ละตัวสมมูลเชิงตรรกกับประพจน์ทางขวามือที่คู่กัน และเราสามารถแปลงประพจน์จากข้างหนึ่งไปเป็นอีกข้างหนึ่งได้ ไม่ว่าในทิศทางใดก็ตาม สัจนิรันดร์และความขัดแย้ง( Tautology and Contradiction) สัจนิรันดร์ ( Tautology) สัจนิรันดร์ ( Tautology) หมายถึง ประพจน์ที่มีค่าความจริงตลอดไป ไม่ว่าค่าความจริงของประพจน์ย่อย ๐ ที่เป็นค่าตัวแปรจะมีค่าความจริงเป็นอย่างไรก็ตาม ตัวอย่าง จงเขียนตารางค่าความจริง เพื่อแสดงว่า p ( pvq )เป็นสัจนิรันทร์ P P pvq p ( pvq ) T T T T T F T T F T T T F F F T จากตาร