Recent content by ion88

  1. I

    Finding conjunctive normal form for ((A → (B → C)) & (A → B) & A) ↔ C

    Sory but I don't even know what programming language is that
  2. I

    Finding conjunctive normal form for ((A → (B → C)) & (A → B) & A) ↔ C

    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 ?
See more