vlogsolv

vlogsolv

vlogsolv เป็นโปรแกรมบรรทัดคำสั่งขนาดเล็กที่คำนวณตารางค่าสำหรับนิพจน์เชิงตรรกะ มันเขียนอย่างสมบูรณ์ใน V

อาคาร

1. ติดตั้งวี
2. วิ่ง v .

เพื่อให้ได้บิลด์ที่ปรับให้เหมาะสมที่สุด คุณสามารถใช้ v -prod . ได้

การใช้งาน

./vlogsolv <expression>

มีตัวดำเนินการดังต่อไปนี้

• ! ไม่
• & และ
• | หรือ
• = ความเท่าเทียมกัน
  • (a & b) | (!a & !b)
• > ความหมาย
  • !a | b
• < นัยของการสนทนา
  • b > a
• ^ เอ็กซ์คลูซีฟ หรือ
  • (a | b) & !(a & b)
• 1 หรือ T จริง
• 0 หรือ F เท็จ

สัญลักษณ์อื่นๆ ทั้งหมดจะถูกตีความว่าเป็นตัวแปร คุณอาจต้องหลีกสัญลักษณ์บางส่วน ทั้งนี้ขึ้นอยู่กับเชลล์ของคุณ ช่องว่างจะถูกละเว้น

ตัวอย่าง

./vlogsolv '(a | !b) & c'

 Input: (a | !b) & c
Prefix: &|a!bc
Atoms: ["a", "b", "c"]

 a | b | c | value
---+---+---+-------
 1 | 1 | 1 | true
 1 | 1 | 0 | false
 1 | 0 | 1 | true
 1 | 0 | 0 | false
 0 | 1 | 1 | false
 0 | 1 | 0 | false
 0 | 0 | 1 | true
 0 | 0 | 0 | false