| Метод | Описание | |
|---|---|---|
| setUp ( ) : void | ||
| testAimaExample ( ) : void | ||
| testBasicSentenceTransformation ( ) : void | ||
| testBiConditionalTransformation ( ) : void | ||
| testDeMorgan1 ( ) : void | ||
| testDeMorgan2 ( ) : void | ||
| testFourSuccessiveNotsTransformation ( ) : void | ||
| testImplicationTransformation ( ) : void | ||
| testOrDistribution1 ( ) : void | ||
| testOrDistribution2 ( ) : void | ||
| testSymbolTransform ( ) : void | ||
| testThreeSuccessiveNotsTransformation ( ) : void | ||
| testTwoSuccessiveNotsTransformation ( ) : void |
