Nama : Farell Cahyaning Bagaskara

NIM : 2200018188

Kelas : D

Langkah Praktikum 3

a. Fungsi Tautologi
tautology
Bentuk umum perintah :
tautology(b)
tautology(b’, p’)

Parameter:
B – suatu ekspresi Boolean
P – (opsional) nama yang tak dievaluasi
Pengujian tautologia tau bukan dari suatu ekspresi Boolean. Jika b suatu tautologi. True yang
akan dikembalikan. False dikembalikan jika b akan tautologi.

b. Operator logika yang akan digunakan adalah :

&not berarti negasi,
&and berarti ^,
&or berarti v,
&implies berarti =>,
&iff berarti .
&nor
&nand
&xor

Contoh :

c. Untuk mengevaluasi validias argument (A V B) V (~A V ~B) dapat dituliskan seperti berikut :
 Dihasilkan nilai ‘True’ yang menandakan argument valid. Dapat dibuktikan dengan table
kebenaran.
d. Untuk mengetahui validitas argument (A<->B) V B dapat dituliskan sebagai berikut :

Dihasilkan nilai ‘False’ yang menandakan argument tidak valid.