From b1f5c3f8d6671b4331cef1dcebdf63b7a43a3a2b Mon Sep 17 00:00:00 2001
From: priyanka
Date: Wed, 24 Jun 2015 15:03:17 +0530
Subject: initial commit / add all books

---
 275/CH8/EX8.8.49a/Ch8_8_49a.sce | 39 +++++++++++++++++++++++++++++++++++++++
 1 file changed, 39 insertions(+)
 create mode 100755 275/CH8/EX8.8.49a/Ch8_8_49a.sce

(limited to '275/CH8/EX8.8.49a/Ch8_8_49a.sce')

diff --git a/275/CH8/EX8.8.49a/Ch8_8_49a.sce b/275/CH8/EX8.8.49a/Ch8_8_49a.sce
new file mode 100755
index 000000000..95fe639c7
--- /dev/null
+++ b/275/CH8/EX8.8.49a/Ch8_8_49a.sce
@@ -0,0 +1,39 @@
+clc
+clear
+disp("Example 8.49a")
+printf("\n")
+disp("Prove the following boolean identities")
+disp("A+BC=(A+B)(A+C)")
+A=[0 0 0 0 1 1 1 1]
+B=[0 0 1 1 0 0 1 1]
+C=[0 1 0 1 0 1 0 1]
+for i=1:length(A)
+  Y(i)=A(i)+(B(i)*C(i))
+  if(Y(i)==2)
+    Y(i)=1
+  end
+end
+for i=1:length(A)
+  Z(i)=(A(i)+B(i))*(A(i)+C(i))
+  if(Z(i)==2)
+    Z(i)=1
+  end
+  if(Z(i)==3)
+    Z(i)=1
+  end
+  if(Z(i)==4)
+    Z(i)=1
+  end
+end
+for i=1:length(A)
+  if(Z(i)==Y(i))
+    printf("_")
+  else
+    printf("NOT")
+    abort
+  end
+end
+
+  printf("proved")
+  
+  
\ No newline at end of file
-- 
cgit