Boolean algebra, Logics


v20240901