little bit more about finding the negation or equivalent from statement and treat implication as disjunctions. it seems like better convert statements into symbolic form , then work these symbolic form as maths operator which now can be easily solved.
Key note:
A => B <=> \not A \or B
No comments:
Post a Comment