Systems with No or Infinite Solutions

A lesson in SAT Algebra & Linear Equations.