logic - axkr/symja_android_library GitHub Wiki Logic AllTrue AnyTrue And Boole BooleanConvert BooleanMinimize BooleanQ Booleans Equivalent False Implies NoneTrue Nand Nor Not Or SatisfiabilityCount SatisfiabilityInstances SatisfiableQ TautologyQ True TrueQ Xor