public class TesPertama {
|
public static void main(String[] args) {
|
System.out.println("selamat belajar Java!");
|
}
|
}
|
|
No
|
Ekuivalen Logis
|
Nama
|
|
1
|
A ^ 1 ≡ A
A v 0 ≡ A
|
Identity of ^ (Identity Laws)
Zero of v (Identity Laws)
|
|
2
|
A v 1 ≡ 1
A ^ 0 ≡ 0
|
Identity of v (Dominition Laws)
Zero of ^ (Dominition Laws)
|
|
3
|
A v ¬A ≡ 1
A ^ ¬A ≡ 0
|
Tautology (Excluded Middle Law)
Law of Contradiction
|
|
4
|
A v A ≡ A
A ^ A ≡ A
|
Idempotence Laws
Idempotence Laws
|
|
5
|
¬ ¬ A ≡ A
|
Law of Double Negation
|
|
6
|
A ^ B ≡ B ^ A
A v B ≡ B v A
|
Komutatif
Komutatif
|
|
7
|
(A ^ B) ^ C ≡ A ^ (B ^ C)
(A v B) v C ≡ A v (B v C)
|
Assosiatif
Assosiatif
|
|
8
|
A ^ (B v C) ≡ (A ^ B) v (A ^ C)
A v (B ^ C) ≡ (A v B) ^ (A v C)
|
Distributif
Distributif
|
|
9
|
A ^ (A v B) ≡ A
A v (A ^ B) ≡ A
|
Absorpsi
Absorpsi
|
|
10
|
A ^ (¬A v B) ≡ A ^ B
A v (¬A ^ B) ≡ A v B
|
Absorpsi
Absorpsi
|
|
11
|
¬ (A ^ B) ≡ ¬A v ¬B
¬ (A v B) ≡ ¬A ^ ¬B
|
De Morgan’s Law
De Morgan’s Law
|
|
12
|
(A ^ B) v (A ^ ¬B) ≡ A
| |
|
13
|
A → B ≡ ¬A v B
A → B ≡ ¬(A ^ ¬B)
| |
|
14
|
A ↔ B ≡ (A ^ B) v (¬A ^ ¬B)
A ↔ B ≡ (A → B) ^ (B → A)
| |
|
15
|
(A ^ B) v (A ^ ¬B) ≡ A
(A v B) ^ (A v ¬B) ≡ A
| |
|
16
|
(A ^ B) v (¬A ^ B) ≡ B
(A v B) ^ (¬A v B) ≡ B
| |
