Here are examples for parts c and d: c) [pɅ (p - q)] - q. Notice what this says: if p
is true and p implies q, then q must be true. Clearly this will be a tautology. We.
! "$#%! & '# !' ( ) * "$#$+ ,.-/ '"0("1 ( "23%.4"5 '6'#798: * !" ;# C) 6#D (!* 8 "1E( E"0( 3F G"5IH:+J,LK7"0("M:("2"5N:4E "$#%OP (E':( #HQ '6R6; H>,TS UWVT XURY[Z:,]\^Y_Z ` :H0"M ':& '#2# 9F#$;a!OUb#( '"c:?6.Ud4LE' !"$#2ZG "$bZ4W '#De*"M( '" +2fa "$ ( F@ #& ! g*"c.I: F +hT" H0:i# j!7 '#D. ( ! H0 ( "$# #%OP !7#$; S UcV XU)Y_Z:,k\^Y_Z l m S UcVT XURY[Z:,]\nRZ l S m ULn m oURY_Z:,]\n)Z l S m Ucn m m Ucn)Z:,]\nRZ l S m Ucn XULV m Z:,k\n)Z l S m UcncU^,=V m Ucn m Z:,]\nRZ l S -p( "aV m Ucn m Z:,]\n)Z l S m Ucn m Z>\nRZ l m Ucnb m ZnRZ:, l m UWn q-r( "9, l -r( " 6',TS! oUWnRZ:,rVb oU)Yts:,VT ZQYts:,]\rYts u (I#3%:H0"e ':a #%#9F#0;g!Op '"&:Or3aW #/ ( "& ( "L "0! "$(vUR (%Z:,%:?6."$ HI @4LE' !"$#/Q (6)#3I"04"0wQ Ps:,xG "$)sL4W ?#37*"Q ( " +%fa !">:( !Fy ##7L ! F G# 'H5"Q!OUB#/( "Q%"Q '98 "%URY[sG' "$'H5"QsG? '6i#D4! :( FyoOzZc# ( " + { /#7 # cE ## !* "1 '# "Q '(%*? # H2 H0 ="$|w 8: "0'H0"$#% .# j #0+zK&"0("2# "1%9F^; S XUcn)Z:,=VT XURYts:,pV qZ1Y_s,k\=Yts l S XUWn)Z:,VT m Ucnys:,pV m Zn@s:,k\=Yts l S! oUWnRZ:,rV m UcV m Z:,nRs:,]\Yts l S XUWn)Z:,V m oULnRZ:,nRs,k\=Yts l
S! XUcnRZ:,V m XUcn)Z:, ,nT D XUWn)Z:,VRs:,]\Yts l S u # "}nT D oUWnRZ:,rV@s:,k\=Yts l S XUWn)Z:,VRs:,]\=Y_s l m S XUWn)Z:,VRs:,]\n@s l S m oUcn)Z:,n m s$\nRs l m XUcn)Z:,=nTS m snRs>\ l m XUcn)Z:,nTS -r( "x\ l -r( " b m UcV XURY[Z:, ,zY m Zc#':7L ! F +zfa ?#D6"0( U Z m UcVT XURY_Z:, ,}Y m Z m U URY_Z m UWVT oURY_Z:, m Z u u u ` "1 '7 !F@ "Q(~#/"$H0"$## ( F^# !?H5"Q%"2 ?98 "Q#D 'R "Q( ~ "0("1 "M#D: "$4L"$w7#': ( " Go&H$:':7*" c ! F +
