Hello, LittleKat123!

I'm not sure what rules you are allowed to use.

You should be familiar with certain logic theorems.

. .

. .

. .

I'll run through the first one . . .

Youdecide if any of this is useful to you.

From (1) and (2): . [6]

From (3) and (6): . [7]

From (4) and (7): . [8]

From (2) and (8): .