p
B
S

~q
S
B
p
B
B
S
S

q
B
S
B
S

p^q
B
S
S
S
p
B
B
S
S

q
B
S
B
S

p q
B
B
B
S
logika matematika