Teori Sistem Komputer

Hukum-Hukum Logika

• Hukum Komunikatif

A+B = B+A

A.B = B.A

• Hukum Asosiatif

(A.B).C = A.B.C = A.(B.C)

(A+B)+C = A+B+C = A+(B+C)

• Hukum De Morgan's

A'+B' = A'.B'

A'.B' = A'+B'

• Hukum Distributif

A.(B+C) = (A.B)+(A.C)

A+(B.C) = (A+B).(A+C)

• Hukum Prioritas

AB = A.B

A.B+C = (A.B)+C

A+B.C = A+(B.C)

• Hukum Absortib

A.(A+B) = A

A+(A.B) = A

A+(A'.B) = A+B

A.(A'+B) = A.B

• Teori Logika

Teori 1: A+0 = A

Teori 2: A.0 = 0

Teori 3: A+1 = 1

Teori 4: A.1 = A

Teori 5: A+A = A

Teori 6: A.A = A

Teori 7: A+A' = 1

Teori 8: A.A' = 0

Teori 9: A' = A