Search form

Simplifikasi

Penarikan kesimpulan menggunakan aturan simplifikasi.

Menarik kesimpulan dengan aturan simplifikasi adalah berbentuk:

a ∧ b
∴ a

Beri tanggapan