X2 -> S1
X1 & -X2 -> S2
-X1 & X2 -> -S2
S1 | S2 -> X1 | X2
| - дизъюнкция, & - конъюнкция, -> - импликация