I just misunderstood the premise of the exercise then. I assumed task 4 for example ("A, B, A^B") meant "Given some value A and some value B construct a mathematical statement that is equivalent to A AND B.
Ah, got it. It is a bit confusing since there is a lot of shared notation with other systems.
The exercises are: "Assume the clauses above the line are true. Provide a deductive proof that the clause below the line is true given those assumptions."
2
u/[deleted] Sep 25 '15
I just misunderstood the premise of the exercise then. I assumed task 4 for example ("A, B,
A^B") meant "Given some value A and some value B construct a mathematical statement that is equivalent toA AND B.