इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें उदाहरण के लिए, 'S' A \\ land (B \\ lor \\ lnot B) हो ।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "उदाहरण के लिए, 'S' (A \\ land B) \\ lor (\\ lnot A) \\ lor (\\ lnot B) हो, एक टावटॉलॉजी"।