A system of symbolic logic devised by George Boole, used in computers English: Boolean logic, Boolean algebra Bahasa: Aljabar Boolean