vlogsolv

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