diff --git a/class_11_31082023/summary.txt b/class_11_31082023/summary.txt
new file mode 100644
index 0000000..9b2c769
--- /dev/null
+++ b/class_11_31082023/summary.txt
@@ -0,0 +1,6 @@
+Adequacy/sufficiency/completeness of a set of boolean operators to
+encode Boolean functions. 
+
+SAT is the set of satisfiable wffs 
+Complexity of SAT, P, NP 
+