Results

Results

And Not Or And AndSymbol Constant ConstantSymbol Equals EqualsSymbol Exists ExistsSymbol False FalseSymbol Forall ForallSymbol IfThenElse IfThenElseSymbol Iff IffSymbol Implies ImpliesSymbol Not NotSymbol Or OrSymbol PropositionalVariable PropositionalVariableSymbol True TrueSymbol InputInference ResolutionInference

Formula

Vector

cafesat