Mantıksal Cebir
Mantıksal cebir, cebirden farklı olarak, lojik değişmeleri sembol eden bir metottur. Yalnız iki yönüyle farklıdır: Matematiksel olarak yapılan çalışmalar mantıksal cebirde yapılmamıştır. Bu yüzden mantıksal cebirde sayısal değerler gösterilmez, genellikle harf kullanılır.