Mantıksal Cebir Nedir?

Mantıksal cebir Cebirden farklı olarak, lojik değişmeleri sembol eden bir metodtur 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
Örnek olarak: Bir anahtar devresi açık veya kapalıdır
Basit olarak bir cümle ya doğru, ya yanlıştır

Değşikenkeri
Basit bir mantığa sahiptir Her mantıksal değişkenin tek değeri vardır Doğru ve yanlış eş zamanlıdır
Herhangi bir doğru değişkeni, diğer bir doğruyla eşleşir Yine herhangi bir yanlış değişkeni, diğer bir yanlışla eşleşir Yani doğru değişken yanlış değişkene eşlemez Ve ikisinden sadece birisi sözkonusudur

Yazımı
Mantıksal cebirde, lojik devrelerin durumlarını ifade edilirken alfabetik harfler kullanılır Örnek olarak; X harfinde bir değişken ele alalım Bu doğru veya yanlış olabilir Yani eksiden artıya, artıdan eksiye herhangi bir değer gösterebilir
Bunun tersi ele aldığımız ilk harfin barı, yani değilidir Bar, X üzerinde sadece X'i kapsayan bir düz çizgiyle ifade edilir Yani X değeri doğru iken; X'in barı yanlış, X değeri yanlış iken; X'in barı doğrudur Deminde ifade ettiğim gibi değili, yani tersidir
Bazı devrelerde doğru; H, bazılarınca T olarak gösterilir H, İngilizcede yüksek manasına gelen High sözcüğünden, T ise doğru manasına gelen True sözcüğünden gelmektedir Yanlış içinse; L veya F harfleri kullanılır L, ingilizcede düşük manasına gelen Low sözcüğünden; F harfi ise ingilizcede yanlış manasına gelen False sözcüğünden gelir Ayrıca T-F (True- False) programlama dillerinde özellikle döngülerde çok sık kullanılan terimlerdir
İkilik sayı sistemi olan Binary sayı sistemi kolaylık açısından kullanılabilir 0 değeri false, yani yanlış, 1 değeri true, yani doğrudur