Boolean digital logic