To understand a PTL translation algorithm or a complementation algorithm, one typically tries out a few examples.

• 所以通常是藉由演算一些例子的来了解PTL的转换和互补的演算法。