So a boolean logic is different than a boolean algebra?