Գրեք սա: Algebraic logic