trit-eval 0.3.2

三值求值、真值表与化简
Documentation