Logika matematika: Perbedaan antara revisi

Konten dihapus Konten ditambahkan
k Robot: Perubahan kosmetika
Akuindo (bicara | kontrib)
Baris 35:
#* ~B ≡ S
#* ~S ≡ B
 
== Jenis-jenis logika ==
Jenis-jenis logika yakni:
 
;# Dan (<math>\and</math>)
: <math>A \and B</math> dinyatakan sebagai A dan B. A dan B memiliki tabel kebenaran sebagai berikut:
{| class="wikitable"
|-
! A !! B !! <math>A \and B</math>
|-
| B || B || B
|-
| B || S || S
|-
| S || B || S
|-
| S || S || S
|}
 
:# Atau (<math>\or</math>)
: <math>A \or B</math> dinyatakan sebagai A atau B. A atau B memiliki tabel kebenaran sebagai berikut:
{| class="wikitable"
|-
! A !! B !! <math>A \or B</math>
|-
| B || B || B
|-
| B || S || B
|-
| S || B || B
|-
| S || S || S
|}
 
{{Bidang matematika}}
{{math-stub}}
v
 
[[Kategori:Logika matematika| ]]