Scribd
Upload
38 views4 pages

Nama: Amzar Zikri NIM: 190170100 MK: Matematika Distkrit Unit: A5

The document contains the name, student number, and course of a student. It then provides 7 logic proposition tables to complete, labeled a through g. It also contains 2 proposition simplification problems labeled a and b.

Uploaded by

Amzar Zikri
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
38 views4 pages

Nama: Amzar Zikri NIM: 190170100 MK: Matematika Distkrit Unit: A5

The document contains the name, student number, and course of a student. It then provides 7 logic proposition tables to complete, labeled a through g. It also contains 2 proposition simplification problems labeled a and b.

Uploaded by

Amzar Zikri
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
You are on page 1/ 4

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

You might also like