vlogsolv

com.vlogsolv

vlogsolv هو برنامج صغير لسطر الأوامر يقوم بحساب جداول القيم للتعبيرات المنطقية. لقد تم كتابته بالكامل في V

مبنى

1. تثبيت V
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