Anda di halaman 1dari 1

Daftar ekuivalensi logis (plus hukum-hukum logika proposisional) Ekuivalensi Logis Nama A 1 A Identity of A 1 A A 0 A Zero of A 0 A A 1 1 Identity of A 1 1 A 0 0 Zero of A 0 0 A A 1 Tautologi

A A 1 Tautologi A A 0 Kontradiksi A A A Idem A A A A A Negasi ganda A BB A Komutatif A BB A (A B) C A (B C) Asosiatif (A B) C A (B C) A (B C) ( A B) (A C) Distributif A (B C) (A B) (A C) A (A B) A Absorsi A (A B) A A (A B) A B Absorsi A (A B) A B (A B) A B De Morgan (A B) A B Transposisi A B B A Implikasi A B A B Biimplikasi / Ekuivalensi A B (A B) (A B) A B (A B) (B A) (A B) (A B) A Absorsi (A B) (A B) A (A B) (A B) B Absorsi (A B) (A B) B (p q)r p(qr) Eksportasi (Exp)