Form the biconditional statement $p\leftrightarrow q$ , where:

$\mathrm{i.\; p}$ : The unit digit of an integer is zero.

It is divisible by 5.

$\mathrm{ii.\; p}$ : A natural number $n$ is odd.

$q$ : Natural number $n$ is not divisible by 2.

$\mathrm{iii.\; p}$ : A triangle is an equilateral triangle.

$q$ : All three sides of a triangle are equal.

Case – I $\Delta \equiv \nabla \equiv \wedge$  

              $\left(p\wedge q\right)\to \left(\left(p\wedge q\right)\wedge r\right)$  

              it can be false if r is false,

              so not a tautology

   &n

pva $\left(\sim rvp\right)$ $$

$\sim \left(p\vee q\right)\vee \left(\sim rvp\right)$

its negation as asked in question

$\left(p\vee q\right)\wedge \left(\sim p\wedge r\right)$

= $\left(p\wedge \sim p\wedge r\right)\vee \left(q\wedge r\wedge \sim p\right)$

= $\left(p\wedge r\wedge \sim p\right)\left[asp\wedge \sim pisfalse\right]$

$2021\equiv -2$ mod (7)

$\Rightarrow {\left(2021\right)}^{2023}\equiv {\left(-2\right)}^{2023}mod\left(7\right)$   …… (i)

Now,   ${\left(-2\right)}^3\equiv -1mod\left(7\right)$  

$\Rightarrow {\left(-2\right)}^{2023}\equiv \left(-2\right)mod\left(7\right)\equiv 5mod\left(7\right)$       ……. (ii)

(i) & (ii)

$\Rightarrow {\left(2021\right)}^{2023}\equiv 5mod\left(7\right)$  

$\therefore$  Remainder = 5

kindly consider the following Image 

$\sim \left(p\iff \sim q\right)\wedge q=\left(p\iff \sim q\right)\wedge qis:$

$\therefore \left(\sim \left(P\iff \sim Q\right)\right)\wedge$ q is equivalent to $\left(p\Rightarrow q\right)\wedge$