HUNTER: 1) (~a V ~d V b) (d V b~w) (a~w V ~aw) (~d V ~g) (b (w V d) (~w V ~dg)) = 1 2) (~b~c~d V ~b~c~e V ~a) (~d V e) (~b V ~e) (~f V g) (~h V ~f V a) (~h V f V ~e) (~g V d V h) (~b~c~e V ~b~ca V ~g) = 1 3) (~a V w) (d V e) (w~g V ~wg) (dg V ~d~g) (~e V ad) = 1 4) (~b V c) (~a V b V d) (~b V a V ~d) (~c~d V a V b) = 1 ~ - negacja V - alternatywa

Basia: coś jeszcze musi być między nawiasami i zdaniami np.aw; czy to ma być koninkcja?

HUNTER: Koniunkcja