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 :

atau

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 :

atau

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 :

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