Logic gates (D-Algebra)