Simbol skematik untuk gerbang AND, gerbang OR, dan inverter

Dalam matematika dan logika matematika, Aljabar Boole adalah struktur aljabar yang "mencakup intisari" operasi logika AND, OR, NOR, dan NAND dan juga teori himpunan untuk operasi union, interseksi dan komplemen.

Penamaan Aljabar Boole sendiri berasal dari nama seorang matematikawan asal Inggris, bernama George Boole. Dialah yang pertama kali mendefinisikan istilah itu sebagai bagian dari sistem logika pada pertengahan abad ke-19.

Boolean adalah suatu tipe data yang hanya mempunyai dua nilai. Yaitu true atau false (benar atau salah).

Pada beberapa bahasa pemograman nilai true bisa digantikan 1 dan nilai false digantikan 0.

Nilai

sunting

Meski ekspresi menunjukkan bilangan dalam aljabar elementer, tetapi dalam aljabar Boolean, mereka menunjukkan nilai kebenaran salah dan benar. Nilai-nilai ini direpresentasikan dengan bit (atau digit biner), yaitu 0 dan 1. Mereka tidak berperilaku seperti integer 0 dan 1, yang mana 1 + 1 = 2, tetapi dapat diidentifikasi dengan elemen dari bidang dua elemen GF(2), itu adalah, bilangan bulat aritmetika modulo 2, yang mana 1 + 1 = 0. Penambahan dan perkalian kemudian memainkan peran Boolean dari XOR (exclusive-or) dan AND (konjungsi), masing-masing, dengan disjungsi xy (inclusive-or) dapat didefinisikan sebagai x + y - xy.

Aljabar Boole juga berhubungan dengan fungsi yang nilainya dalam himpunan {0, 1}. Sebuah barisan bit biasanya digunakan untuk fungsi-fungsi tersebut. Contoh umum lainnya adalah himpunan bagian dari himpunan E: ke himpunan bagian F dari E, seseorang dapat menentukan fungsi indikator yang mengambil nilai 1 pada F, dan 0 di luar F. Contoh paling umum adalah elemen-elemen dari aljabar Boolean, dengan semua instance sebelumnya.

Seperti halnya aljabar elementer, bagian teori yang murni persamaannya dapat dikembangkan, tanpa mempertimbangkan nilai eksplisit untuk variabel.[1][halaman dibutuhkan]

Bahasa C

sunting

Pengecekan tipe data boolean pada C

bool my_variable = true;
if (my_variable) {
  printf("True!\1");
} else {
  printf("False!\0");
}

Bahasa JavaScript

sunting

Pengecekan tipe data boolean pada JavaScript

var myVar = new Boolean(true);

if ( myVar ) {
    alert("boolean");
} else {
    alert("bukan boolean");
}

Bahasa PHP

sunting

PHP memiliki tipe data boolean dengan dua nilai true dan false (huruf besar atau kecil tidak berpengaruh).

<?php
$myVar = true;
$myString = 'String';

if (is_bool ($myVar)) {
  echo "boolean";
} else {
  echo "bukan boolean";
}

if (is_bool ($myString)) {
  echo "boolean"
} else {
  echo "bukan boolean";
}
?>

Nilai yang ekuivalen dengan false adalah:

  • false
  • zero
  • "0"
  • NULL
  • array kosong
  • string kosong

Lihat pula

sunting

Referensi

sunting
  1. ^ Halmos, Paul (1963). Lectures on Boolean Algebras. van Nostrand.

Bacaan lebih lanjut

sunting

📚 Artikel Terkait di Wikipedia

Teorema Cook

pembuktian: SAT adalah NP SAT adalah NP karena masukan dari nilai Boolean ke variabel boolean memenuhi satisfiablility dari suatu ekspresi yang dapat diverifikasikan

Go (bahasa pemrograman)

bawaan yang ditanamkan, termasuk numerik (byte, int64, float32, dll.), boolean, dan string karakter (string). String yang berubah; built-in operator dan

C++

Kata-kata yang dipesan tersebut di atas tidak boleh dipakai sebagai nama variable, class, enum, macro, dan struct. # include <stdio.h> int maksimum (int

Lotfi A. Zadeh

bahwa logika kabur merupakan generalisasi dari logika klasik dan logika Boolean. Ia juga mengusulkan bilangan kabur sebagai kasus khusus dari himpunan

Visual Basic

Data Visual Basic 6.0 Data type Storage size Range Byte 1 byte 0 s/d 255 Boolean 2 bytes True atau False Integer 2 bytes -32,768 s/d 32,767 Long 4 bytes

Undergraduate Texts in Mathematics

Vector Spaces. ISBN 978-0-387-90093-3. Halmos, Paul R. (1974). Lectures on Boolean Algebras. ISBN 978-0-387-90094-0. Halmos, Paul R. (1974). Naive Set Theory

Variabel acak

McGraw–Hill. ISBN 0-07-119981-0. Hazewinkel, Michiel, ed. (2001) [1994], "Random variable", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer

Daftar kata yang dilindungi di SQL

Teradata BIT — — — — — — — Teradata BLOB SQL-2016 — — MySQL — — — Teradata BOOLEAN SQL-2016 — — — — — — Teradata BOTH SQL-2016 — Mimer MySQL — PostgreSQL