Topic
lattice that models the classical propositional logic
Free account · your comment posts right after signup
Not who you're looking for? Others named Boolean algebra: branch of algebra abstracting logical operations