Hey..Im new to this as well and have a few problems to solve. Any chance you guys could help?
1) AvB, 2) ~A, derive B
1) H(I&J), derive HI
1) AB, 2) ~(~B&~C)E, derive AE
1) ~A, 2) ~AZ, 3) QZ, 4) (Q&~A)M, derive M
The represents a conditonal