Nama : Amzar Zikri

NIM : 190170100
MK : Matematika Distkrit
Unit : A5

1. Tuliskan tabel kebenaran dari proposisi dibawah.

a) ṕ ⋀ ( p ⋁ q )

p q ṕ p⋁q ṕ ⋀ ( p ⋁ q )
+ + - + -
+ - - + -
- + + + +
- - + - -

b) ( p ⋀ q ) ⋁ (r ⋀ q)

p q r p⋀q ( p⋀q) q r⋀ q ( p ⋀ q ) ⋁ (r ⋀ q)

+ + + + - - - -

+ + - + - - - -

+ - + - + + + +

+ - - - + + - +

- + + - + - - +

- + - - + - - +

- - + - + + + +

- - - - + + - +

c) ( p ⋀ q ) → ( p ⋁ q )

p q p⋀q p⋁q ( p ⋀ q )→ ( p ⋁ q )
+ + + + +
+ - - + +
- + - + +
- - - - +
d) ( p ⋀ q ) ⋁ ( p ↔q )

p q p q p⋀q ( p⋀q) p ↔q ( p ↔q ) ( p ⋀ q ) ⋁ ( p ↔q )
+ + - - + - + - +

+ - - + - + - + +

- + + - - + - + +

- - + + - + + - -

e) ( p ⊻ q )↔ ( p ↔ q )

p q p⊻q ( p⊻q) p ↔q ( p ⊻ q )↔ ( p ↔ q )

+ + - + + +

+ - + - - +
- + + - - +
- - - + + +

f) ( p ⋀ ( p ⋁ q) ) ⋁ ( p ⋀ q)

p q p p⋁q ( p⋁q) ( p ⋀ ( p ⋁ q) ) p⋀q ( p ⋀ ( p ⋁ q) ) ⋁ ( p ⋀ q)

+ + - + - - + +
+ - - - + + - +
- + + + - - - -
- - + + - - - -

g) (( p ⋀ q ) ⋁ ( p q)) ⋁ ( p ⋀ q)

p q p q p⋀q p⋀q p⋀ q ( p⋀q)⋁( p⋀ q)

+ + - - + - - -
+ - - + - - - -
- + + - - + - +
- - + + - - + +

(( p ⋀ q ) ⋁ ( p ⋀ q )) (( p ⋀ q ) ⋁ ( p ⋀ q )) ⋁ ( p ⋀ q)
 + +

+ +

- -

- -

2. Sederhanakan proposisi dibawah.

a) ( p ⋁ q ) ⋀ ( ṕ ⋁ q ) ⋀ ( p ⋁ q́ ) ⋀ ( ṕ ⋁ q́ )
( ( p ⋁ q ) ⋀ ( ṕ ⋁ q ) ) ⋀ ( ( p ⋁ q́ ) ⋀ ( ṕ ⋁ q́ ) )
( ( p ⋀ ṕ ) ⋁ ( q ⋀ q ) ⋀ ( p ⋀ ṕ ) ⋁ ( q́ ⋀ q́ ) )
( o ⋁ ( q ⋀ q ) ) ⋀ ( o ⋁ ( q́ ⋀ q́ ) )
( o ⋁ q ) ⋀ ( o ⋁ q́ )
q ⋀ q́=o

b) ( p ⋀ ( p ⋁ q)) ⋁ ( q ⋀ (q ⋁ p))
( p ⋀ ( ( p ⋁ q ))) ⋁ (q ⋀ ( q ⋁ p))
( p ⋀ ( p ⋁ q) ) ⋁ (q ⋀ ( q ⋁ p) )
(( p ⋀ p) ⋀ q) ⋁ (q ⋀ ( q ⋁ p) )
(o ⋀ q ) ⋁ (q ⋀ (q ⋁ p ))
q ⋁ q=q