2
การบีบอัดสูตรบูลีน
วากยสัมพันธ์ ~ไม่ /\และ \/หรือ tจริง fเท็จ P, Q, FISHฯลฯ : ตัวแปร (ผู้ประกอบการจะได้รับตามลำดับความสำคัญ) บทนำ บางสูตรบูลีนสามารถเปลี่ยนเป็นรูปแบบที่แตกต่างกันเพื่อให้สั้นลง ตัวอย่างเช่นสูตร ~(~P /\ ~Q) สามารถเปลี่ยนเป็นแบบสั้น P\/Q ในขณะที่สูตร P \/ ~P สามารถเปลี่ยนเป็นแบบสั้น t ท้าทาย ในความท้าทายนี้คุณจะต้องเขียนโปรแกรมที่ได้รับสูตรบูลใด ๆ โดยใช้เพียง/\, \/, ~, t, fวงเล็บตัวแปรบูลีน (ตัวพิมพ์ใหญ่) และช่องว่างเอาท์พุทเป็นรูปแบบที่สั้นที่สุด (เนื่องจากอาจมีมากกว่าหนึ่งรูปแบบที่สั้นที่สุด ) ในลักษณะของนิพจน์นั้นซึ่งเทียบเท่ากับการกำหนดตัวแปรทั้งหมด รหัสที่สั้นที่สุด (ในภาษาใด ๆ ) ชนะ I / O สามารถทำได้ในลักษณะที่สมเหตุสมผล นอกจากนี้เนื่องจากคำตอบนั้นยากต่อการตรวจสอบจึงเป็นประโยชน์ (แต่ไม่จำเป็น) …