[(𝑝 ∨ 𝑞) ∧ (𝑝 → 𝑟) ∧ (𝑞 → 𝑟)] → 𝑟 ≡ T
x⁴ × x³
x³ x x³
x³ + x³
x³ + y³
(2x³y²)(4xy⁴).
x8x^{8}x8 * x
x2x^{2}x2 + x
x^{2} x x
