encodes/decodes boolean expressions and also simplifies a given boolean expression algebraically.
This program takes a json string and returns a list of BooleanExpressions. For a bonus assignment, it provides a function to simplify a BooleanExpression so that it would ultimately output a True, False, or Variable depending on the boolean expression given.
- How to decode (deserialization: json -> BooleanExpression)
If the json is simply a primitive type itself, then you can decode the expression by following:
new BooleanExpressionSerializer().decode("true | true") === Or(True, True)If the json is an array of expressions, then you would want to call serialize(jsonArrayStr: String):
val json = "[\"true\",\"false\",\"true | false\",\"!false\"]"
new BooleanExpressionSerializer().deserialize(json) === [True, False, Or(True, False), Not(False)]- How to encode (serialization: BooleanExpression -> json)
To transform BooleanExpression to json String, you can call encode(e: BooleanExpression) as following:
new BooleanExpressionSerializer().encode(And(True, False)) === "true & false"Or, you could also transform a list of BooleanExpressions into a json array string by calling as the following:
val sample = List(True, False, Or(True, False), Not(False))
new BooleanExpressionSerializer().serialize(sample) === "[\"true\",\"false\",\"true | false\",\"!false\"]"The following function simplifies the given boolean expression so that it will potentially produce a single boolean expression only if the given expression is recursively breakable.
Otherwise, it will just output Variable(symbol: String) as failing to parse the expression.
def simplify(e: BooleanExpression)For example, the following will simply output False.
new BooleanExpressionSerializer().simplify(And(True, False)) === FalseYong Hoon Do, yhdo@ucsd.edu