Two Valued Logic

See BooleanLogic