Not And ( NAND )

NAND adalah pernyataan gabungan yang dihasilkan dari menegasikan konjungsi. Dimana notasi NAND tersebut dapat di buatkan sebuah pernyataan

∼(p ∧ q),(p ∧ q)‘

kerena dalam NAND tersebut negasi dari jongsi, maka dapat di buatkan dalam tabel kebenaran NAND sebagai berikut :

p	q	p ʌ q	~ (p ʌ q)
+	+	+	–
+	–	–	+
–	+	–	+
–	–	–	+

atau

~	(p	ʌ	q)
+	+	+	–
+	–	–	+
–	+	–	+
–	–	–	+

Exlusive or (exor )

Exor adalah sebuah pernyataan gabungan dimana salah satu p atau q ( tidak kedua – duanya ) adalah benar. Dalam notasi exor dapat disimpulkan :

Contoh :

p = sisitem analog adalah suatu sistem dimana tanda fisik/kuantitas, dapat berbeda secara terus menerus melebihi jarak tertentu, adalah pernyataan benar.

q= sistem digital adalah suatu sistem dimana tanda fisik/kuantitas, hanya dapat mengasumsikan nilai yang berlianan dalah pernyataan yang benar.

r = sistem bilangan desimal adalah sistem bilangan yang digunakan dalam system digital adalah pernyataan yang salah.

s = aljabar linear adalah alat matematika dasar untuk disain logika adalah pernyataan salah.

maka :

pvq adalah exor yang salah karena p benar, q benar.

pvr adalah exor yang benar kerena p benar, s salah

svq adalah exor yang benar kerena q benar, s salah

rvs adalah exor yang salah kerena r salah, s salah

dengan demikian dapat diambil kesimpulan dan dimasukan kedala tabel kebenaran exor dapat ditulis sebagai berikut :

p	q	pvq
+	+	–
+	–	+
–	+	+
–	–	–

atau

p	v	q
+	+	–
+	–	+
–	+	+
–	–	–

Exlusive Nor (ExNOR)

EXNOR adalah sebuah pernyataan gabungan ingkaran dari EXOR dimana nilai kebenarannya benar bila kedua pernyataan benar atau salah. maka dapat diambil kesimpulan Notasi EXNOR sebagai berikut :

Contoh :

p = sistem analog adalah suatu sistem dimana tanda fisik/kuantitas, dapat berbeda secara terus menerus melebih jarak terentu adalah pernyataan benar.

q= sistem digital adalah suatu sistem dimana tanda fisik/kuantitas, hanya dapat mengasumsikan nilai yang berlianan dalah pernyataan yang benar.

r = sistem bilangan desimal adalah sistem bilangan yang digunakan dalam system digital adalah pernyataan yang salah.

s = aljabar linear adalah alat matematika dasar untuk disain logika adalah pernyataan salah.

maka :

p EXNOR q, adalah pernyataan yang benar

p EXNOR r, adalah pernyataan yang salah

s EXNOR q, adalah pernyataan yang salah

r EXNOR s, adalah pernyataan yang benar

dengan demikian tabel kebenaran EXNOR adalah sebagai berikut :

p	q	~(pvq)
+	+	+
+	–	–
–	+	–
–	–	+

Untuk materi selanjutnya kita akan membahas tentang Tautologi & Kontradiksi, Kesetaraan logis. untuk memperdalam ilmu tentang matemika distrik dapat membeli di toko buku online ataupun offline karya Samuel Wibisono