diff options
Diffstat (limited to '3860/CH2/EX2.22/Ex2_22.txt')
| -rw-r--r-- | 3860/CH2/EX2.22/Ex2_22.txt | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/3860/CH2/EX2.22/Ex2_22.txt b/3860/CH2/EX2.22/Ex2_22.txt new file mode 100644 index 000000000..fe62e006e --- /dev/null +++ b/3860/CH2/EX2.22/Ex2_22.txt @@ -0,0 +1,10 @@ +
+ f = c'd'+ ac' + ad + bd' + ab
+
+ Two terms can be reduced using consensus twice
+
+ c'd' $ ad = ac' and ad $ bd' = ab
+
+ Thus we can remove ac' and ab leaving
+
+ f = c'd'+ ad + bd'
|