Aljabar proposisi merupakan penerapan hukum - hukum aljabar dalam logika proposisi. Aljabar proposisi merupakan suatu bentuk logical equivalence dari proposisi - proposisi yang merupakan hukum - hukum yang dapat dipakai untuk penyederhanaan suatu bentuk proposisi. Hukum - hukum Aljabar proposisi adalah : 1. Idemepoten p ∨ p ≡ p p ∧ p ≡ p 2. Asosiatif (p ∨ q) ∨ … [Read more...]