AppendixA Slides
AppendixA Slides
AppendixA Slides
BOOLEAN ALGEBRAS
Case (2): by
a · 0 = 0 (a · 0) P3 (i)
= (a · a′) (a · 0) P4 (ii)
= a · (a′ 0) P2 (ii)
= a · a′ P3 (i)
=0 P4 (ii)
(2) can also be proven by means of (1) and the principle of duality.
(2): duality
(2) duality
Proof:
by
(1): a a′b = (a a′)(a b) P2 (i)
= 1 · (a b) P4 (i)
=a b P3 (ii)
(2): duality
By duality,
(a · b)′ = a′ b′
M = (P (S), ∪, ∩)
ALGEBRA OF LOGIC (PROPOSITIONAL CALCULUS).
The elements B: T and F (true and false). The operations:
logical and and logical or.
This algebra is isomorphic with the switching algebra.