From a76f9b18d66340144d62e5c9d704397947f10789 Mon Sep 17 00:00:00 2001
From: phawaderamchandra <prb@iitdh.ac.in>
Date: Thu, 31 Aug 2023 12:15:26 +0530
Subject: [PATCH] class 11 summary added

---
 class_11_31082023/summary.txt | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 class_11_31082023/summary.txt

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 
+