The question is as follows:
Find the disjunctive and conjunctive normal forms of the following: $$ (A \to (B \to C)) \to ((A \to \neg C) \to (A \to \neg B)) $$
My solution is as follows, but I can't go far

The question is as follows:
Find the disjunctive and conjunctive normal forms of the following: $$ (A \to (B \to C)) \to ((A \to \neg C) \to (A \to \neg B)) $$
My solution is as follows, but I can't go far

Copyright © 2021 JogjaFile Inc.