A Brief Biography of George Boole George Boole

A Brief Biography of George Boole

George Boole, an English Mathematician, published a book in 1854 called “An investigation into the Laws of Thought”. This was his most important work.

Born: 2 November 1815 Died: 8 December 1864 (pneumonia) Birthplace: Lincoln, England Best known as: Developer of Boolean algebra His work showed the use of logic in mathematics and the implications it has on data. More specifically, logical calculus with only two values, “true” or “false”. His findings paved the way to computers. Without Boolean logic, there would be no computers today.

Sec. 2. 4 #28 SHOW THESE TWO CIRCUITS HAVE LOGICALLY EQUIVALENT BOOLEAN EXPRESSIONS.

Solution Using Theorem 2. 1. 1 Logical Equivalences Circuit “A” and Circuit “B” represented as a Boolean Expression: (P ∧ Q) ∨ (P ∧ ∼Q) ∨ (∼P ∧ ∼Q) ≡ P ∨ ∼Q P ∧ (Q ∨ ∼Q) ∨ (∼P ∧ ∼Q) ≡ P ∨ ∼Q Distribution P ∧ t ∨ (∼P ∧ ∼Q) ≡ P ∨ ∼Q Negation P ∨ (∼P ∧ ∼Q) ≡ P ∨ ∼Q (P ∨ ∼P) ∧ (P ∨ ∼Q) ≡ P ∨ ∼Q t ∧ (P ∨ ∼Q) ≡ P ∨ ∼Q Identity Distribution Negation Identity

Question #32 Sec. 2. 4 Find a circuit with at most three logic gates that is equivalent to this circuit. ( P ^ Q ^ R ) OR ( P ^ ~ Q ^ ~ R )

Solution

Section 2. 4 Problem # 33 Part a) Show that for the Sheffer Stroke |, P ⋀ Q ≣ (P∣Q)|(P|Q) P ⋀ Q ≣ P ⋁(P ⋀ Q) ⋀ Q ⋁(Q ⋀ P)Absorption Law ≣P⋁P⋀Q⋀Q⋁P⋀Q Commutative Law ≣ (P ⋁ P) ⋀ (Q ⋀ Q) ⋁ (P ⋀ Q) ≣ (P ⋀ Q) ⋁ (P ⋀ Q) Idempotent Law ≣ ~ ((P ⋀ Q) ⋁ (P ⋀ Q))) Double negative Law ≣ ~ (~(P ⋀ Q) ⋀ ~(P ⋀ Q)) De Morgan’s Law ≣ ~ ((P|Q) ⋀ (P|Q)) Definition of | P ⋀ Q ≣ (P|Q)|(P|Q) Definition of |

Part b) Use the results of Example 2. 4. 7 and part (a) above to write P ⋀ (~Q ⋁ R) using only Sheffer strokes. P ⋀ (~Q ⋁ R) P ⋀ ((~Q|~Q)|(R|R)) (P|[(~Q|~Q)|(R|R)])|

Henry Maurice Sheffer Henry M. Sheffer was born in the Ukraine in 1882, then migrated to the United States in 1892. Henry’s undergraduate work was done at Boston Latin School. He then studied at Harvard where he received his Ph. D. in Philosophy. After working at different universities Henry returned to Harvard; where he taught mathematical logic for 32 years. Henry M. Sheffer is most well known for his work in Boolean algebra. In particular for creating the binary operation abbreviated as NAND and its dual called NOR.

Sec 3. 3 #43 WRITE THE NEGATION FOR THE DEFINITION OF Definition: Negation: For all real numbers δ ≤ 0, there exists some real number ε ≤ 0 such that for some real number x, a – δ < x < a + δ and x ≠ a and L – ε ≥ f(x) ≥ L + ε.