Автор - Goblinsmol
(x₁+x₂+x₃)(x₁+¬(x₂+x₃))(¬(x₁+x₂)+x₃)¬(x₁+x₂)
(x₁+x₂+x₃)(x₁+¬(x₂+x₃))¬(x₁+x₂)(x₃+1)
(x₁+x₂+x₃)(x₁+¬(x₂+x₃))¬(x₁+x₂)
(x₁+x₂+x₃)(x₁+¬x₂¬x₃)(¬x₁¬x₂)
(x₁+x₂+x₃)(x₁¬x₁¬x₂+¬x₁¬x₂¬x₃)
(x₁+x₂+x₃)(¬x₁¬x₂¬x₃)
x₁¬x₁¬x₂¬x₃+x₂¬x₁¬x₂¬x₃+x₃¬x₁¬x₂¬x₃
0+0+0
0