Exercises 12-15 provide an outline for a proof that the associative laws, which were included as an axiom for a Boolean algebra, can be derived from the other four axioms. The outline is from Introduction to Boolean Algebra by S. Givant and P. Halmos, Springer, 2009. In order to avoid unneeded parentheses, assume that. Takes precedence over +.
The universal bound law for + states that for every element a in a Boolean algebra,
Mathematics: A Practical Odyssey
Mathematical Excursions (MindTap Course List)
Finite Mathematics
Mathematical Applications for the Management, Life, and Social Sciences
Elementary Technical Mathematics
Finite Mathematics for the Managerial, Life, and Social Sciences
Mathematics For Machine Technology
Essentials Of Statistics
Single Variable Calculus
Single Variable Calculus: Early Transcendentals
Applied Calculus
Multivariable Calculus
Research Methods for the Behavioral Sciences (MindTap Course List)
Trigonometry (MindTap Course List)
Contemporary Mathematics for Business & Consumers
Study Guide for Stewart's Multivariable Calculus, 8th
Probability and Statistics for Engineering and the Sciences
Elementary Geometry for College Students
Calculus (MindTap Course List)
Applied Calculus for the Managerial, Life, and Social Sciences: A Brief Approach
Intermediate Algebra
Calculus: An Applied Approach (MindTap Course List)
Statistics for Business & Economics, Revised (MindTap Course List)
Understanding Basic Statistics
Functions and Change: A Modeling Approach to College Algebra (MindTap Course List)
Essentials Of Statistics For Business & Economics
Research Methods for the Behavioral Sciences (MindTap Course List)
Statistics for The Behavioral Sciences (MindTap Course List)
Multivariable Calculus
Single Variable Calculus: Early Transcendentals, Volume I
Essentials of Statistics for The Behavioral Sciences (MindTap Course List)
Finite Mathematics and Applied Calculus (MindTap Course List)
Study Guide for Stewart's Single Variable Calculus: Early Transcendentals, 8th
Elements Of Modern Algebra
Calculus: Early Transcendental Functions
Precalculus: Mathematics for Calculus (Standalone Book)
Calculus: Early Transcendentals
Elementary Geometry For College Students, 7e
Calculus of a Single Variable
College Algebra (MindTap Course List)
Calculus: Early Transcendental Functions (MindTap Course List)
Calculus (MindTap Course List)
Introduction To Statistics And Data Analysis
STATISTICS F/BUSINESS+ECONOMICS-TEXT
A First Course in Differential Equations with Modeling Applications (MindTap Course List)
Calculus Volume 1
College Algebra
Introductory Statistics
Modern Business Statistics with Microsoft Office Excel (with XLSTAT Education Edition Printed Access Card) (MindTap Course List)