Boolean Logic

  A complete system for logical operations, used often since popularization of mathematical logic and discussions concerning the foundations of mathematics. 

Source Wikipedia