vlogsolv

vlogsolv

vlogsolv adalah program baris perintah kecil yang menghitung tabel nilai untuk ekspresi logis. Itu sepenuhnya ditulis dalam V

Bangunan

1. Instal V
2. menjalankan v .

Untuk mendapatkan build yang dioptimalkan, Anda dapat menggunakan v -prod .

Penggunaan

./vlogsolv <expression>

Operator berikut tersedia

• ! Bukan
• & Dan
• | Atau
• = Kesetaraan
  • (a & b) | (!a & !b)
• > Implikasi
  • !a | b
• < Implikasi Kebalikan
  • b > a
• ^ Eksklusif Atau
  • (a | b) & !(a & b)
• 1 atau T Benar
• 0 atau F Salah

Semua simbol lainnya diinterpretasikan sebagai variabel. Anda mungkin perlu keluar dari beberapa simbol tergantung pada shell Anda. Spasi diabaikan

Contoh

./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