(n)Boolean logic, Boolean algebraa system of symbolic logic devised by George Boole; used in computers