Text this: Logic in algebraic form :