add some comment

hnu-pl · Oct 16, 2019 · 3e12cd7 · 3e12cd7
1 parent 96ecef0
commit 3e12cd7
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/part1/1017 Tautology checker.ipynb b/part1/1017 Tautology checker.ipynb
@@ -434,15 +434,15 @@
     }
    ],
    "source": [
-    "print p1\n",
+    "print p1 -- A /\\ ㄱB\n",
     "isTaut p1\n",
-    "print p2\n",
+    "print p2 -- A => B\n",
     "isTaut p2\n",
-    "print p3\n",
+    "print p3 -- (A /\\ B) => A\n",
     "isTaut p3\n",
-    "print p4\n",
+    "print p4 -- (A /\\ (A=>B)) => B\n",
     "isTaut p4\n",
-    "print p5\n",
+    "print p5 -- ((A=>B)/\\(B=>C)) => (A=>C)\n",
     "isTaut p5"
    ]
   },