$($A nand $B)$ implies $(!$B xor $($ B implies C $))$

$(4\mathrm{.}1)(15$pts$.)$

$($B xnor $A)$ implies $($ A and $C)$

$(4\mathrm{.}2)(15$pts$.)$

$($C or $B)$ or $(($A implies $B)$ nor $!A)$