Saved in:
Bibliographic Details
Main Author: Zhang, Eugene
Format: Preprint
Published: 2023
Subjects:
Online Access:https://arxiv.org/abs/2304.02224
Tags: Add Tag
No Tags, Be the first to tag this record!
Table of Contents:
  • In this paper, we present a new axiomatic system that is a minimal axiomatization of Boolean algebras. Furthermore, the symmetric difference is shown to be algebraically analogous to the modular difference of two numbers. Finally, a new method to prove equivalent relations in a Boolean algebra is also given.