- #1
ion88
- 2
- 0
Hello I'm new here. Can someone please help me with the conjunctive normal form for this formula ?
(((A -> (B -> C)) & (A -> B)) & A) <-> C
I don't know if i did this right or not. If not what should i do ?
(((A -> (B -> C)) & (A -> B)) & A) <-> C
I don't know if i did this right or not. If not what should i do ?