S2 - Algjebra Logjike