Jika pernyataan P(S), Q(B) dan r(B), tentukan nilai kebenaran dari A. P => (Q ^r) B. (P^~r) => ~Q

a) p -> ( q ^ r)
 s -> (b ^b)
s-> b berarti bernilai benar

b) (p ^ ~r) => ~q
      (s ^ s) => s
         s => s
berarti bernilai benar

note: implikasi bernilai salah ketika "jika benar maka salah" ( b => s )