ABSTRACT

Many quire simple arguments need an enormous truth-table to test their validity. But a short-cut exists.