Contoh proposisi tugas logika informatika

p	q	p ˄ q
17 adalah bilangan prima (benar)	Bilangan prima tidak selalu ganjil (benar )	17 adalah bilangan prima dan Bilangan prima tidak selalu ganjil (benar)
17 adalah bilangan prima (benar)	Bilangan prima selalu ganjil (salah )	17 adalah bukan bilangan prima dan Bilangan prima selalu ganjil (salah )
17 adalah bukan bilangan prima (salah)	Bilangan prima tidak selalu ganjil (benar )	17 adalah bukan bilangan prima dan Bilangan prima selalu ganjil (salah )
17 adalah bukan bilangan prima (salah)	Bilangan prima selalu ganjil (salah )	17 adalah bukan bilangan prima dan Bilangan prima selalu ganjil (salah )

p	q	p ˅ q
17 adalah bilangan prima (benar)	Bilangan prima tidak selalu ganjil (benar )	17 adalah bilangan prima atau Bilangan prima tidak selalu ganjil (benar)
17 adalah bilangan prima (benar)	Bilangan prima selalu ganjil (salah )	17 adalah bilangan prima  atau  Bilangan prima tidak selalu ganjil (benar)
17 adalah bukan bilangan prima (salah)	Bilangan prima tidak selalu ganjil (benar )	17 adalah bilangan prima  atau  Bilangan prima tidak selalu ganjil (benar)
17 adalah bukan bilangan prima (salah)	Bilangan prima selalu ganjil (salah )	17 adalah bukan bilangan prima  atau  Bilangan prima selalu ganjil (salah )

P	~ q
17 adalah bilangan prima (benar)	Bilangan prima selalu ganjil (salah )
17 adalah bukan bilangan prima (salah)	Bilangan prima tidak selalu ganjil (benar )