Boole cebiri değişkenlerin değerinin doğru ve yanlış olabildiği bir cebir altkoludur. Doğru ve yanlış değerleri genelde sırasıyla 1 ve 0 olarak ifade edilir. Değişken değerlerinin sayı, işlemlerin ise toplama ve çarpma olduğu temel cebrin aksine Boole cebrinde ∧ işareti ile ifade edilen "ve", ∨ işareti ile ifade edilen "veya", ¬ ile ifade edilen "değil" işlemleri bulunur.
Doğru aşağıdaki anlamlarda kullanılabilir
- Doğru (geometri), düz bir eğri.
- Doğruluk (felsefe), gerçek ile uyumlu olma hâli
- Doğru, mantıkta Boole'sal (Boolean) bir veri tipi.
- Doğruluk ve kesinlik, bir ölçümün gerçek değerine olan yakınlığı

Salvia divinorum, Salvia cinsine bağlı bir bitki türüdür.

Çalı, otsu çok yıllık ve tek yıllık yaklaşık 1000 bitki türüyle Ada çayı (Salvia), Ballıbabagiller familyasındaki kokulu bitkilerin en büyük cins'idir.
Burada ada çayı (Salvia) taksonunun listelenmesi yapılmıştır. Yaklaşık 900 kadar türü bilinmektedir.
Boole'ca veya 'Boole'sal, mantık, matematik ve bilgisayar biliminde değeri doğru ya da yanlış olabilecek bir değişken türüdür. Bu değer, bazen 0 veya 1 şeklinde de ifade edilir.
Salvia halophila, Salvia cinsine bağlı çok yıllık otsu bir bitki türüdür. İç Anadolu'nun tuzlu bozkırlarında 950-1000 metre yükseklikte yetişir. Türkiye'de Konya ve Niğde illerinde yayılış yapar.
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.
Entojen, dini ve şamanik ritüellerde, manevi/mistik tecrübeleri tetikleme amacıyla çeşitli şekillerde kullanılan, psikoaktif maddeler içeren bitkilerin genel adı. Bu maddeler, sinir sistemini doğrudan etkileyen moleküllere sahip bitkilerden elde edilir. Eski yunancada "içsel kutsallık" anlamına gelen ἔνθεος (entheos) ve "üretmek" anlamna gelen γενέσθαι (genesthe) kelimelerinden "insanın içindeki kutsallığı uyandıran" anlamında yakın zamanda türetilmiştir. Tanımı 1979'da Carl A. P. Ruck tarafından şöyle yapılmıştır:

Lorenzo de' Medici ya da Lorenzo il Magnifico (Muhteşem Lorenzo) Rönesans Dönemi'ne damga vuran Medici ailesi mensubu, Floransa şehir devletinin gayriresmî başı Cosimo de' Medici 'nin torunu. İtalyan devlet adamı ve Floransa kentinin İtalyan Rönesansı dönemindeki fiili hükümdarıydı. Lorenzo'nun eşi Clarice Orsini'den olan ikinci çocuğu Papa X. Leo, sekiz sene papalık görevinde bulunmuştur. Floransalı halk tarafından Muhteşem Lorenzo adıyla bilinirdi. Diplomat ve siyasetçi olmakla kalmayıp sanatçı, şair ve bilim adamlarına maddi yardımda bulundu. Floransa'da bir heykel bahçesi meydana getirdi. Yaşamı süresince Floransa altın çağını yaşadı. Ölümünden sonra İtalya yarımadasındaki barış ve refah dönemi sona erdi ve yabancı ülkelerin 400 yıl sürecek işgal dönemi başladı.

Salvia veya dağ çayı, Lamiaceae familyasına bağlı bir bitki cinsidir.

Salvia cyanescens, Salvia cinsine bağlı bir bitki türüdür.
SAT problemi bir NP-tam sınıfı problemidir.

Salvia splendens, Salvia cinsine bağlı Brezilya'ya özgü bir bitki türüdür.

Salvia pinguifolia, Salvia cinsine bağlı bir bitki türüdür.

Hesaplamalı karmaşıklık teorisi, hesaplama problemlerini kendi zorluklarına göre sınıflandırmaya ve bu sınıfları birbirleriyle ilişkilendirmeye odaklanan teorik bilgisayar bilimlerinde hesaplama teorisinin bir dalıdır. Bir hesaplama probleminde prensip, algoritmada belirtilen matematiksel adımların mekaniğe uygulanması yoluyla probleme yaklaşmaktır. Ve bununla beraber hesaplama karmaşıklık teorisindeki problemler, eşdeğer bir bilgisayar tarafından çözülebilen ortamlarda kullanılır.

Klasik mantıkta, çelişki bir ya da daha fazla önerme arasında uyumsuzluk olması durumudur. Çelişkili iki önerme birlikte değerlendirildiğinde genellikle birbiriyle zıt olan iki mantıksal sonuç ortaya çıkar. Bu konuda Aristo'nun çelişmezlik kanunu'na göre "Aynı şey, aynı zamanda, aynı açıdan, aynı nesneye hem dahil hem de dahil olmayan olamaz"
Sedum booleanum, Sedum cinsine bağlı bir bitki türüdür.