ఈ వాక్యం యొక్క మరింత సంక్లిష్ట సంస్కరణను రూపొందించండి ఇది'' P'(''A ') / ~ రద్దు లక్షణాన్ని కలిగి ఉన్న ఒక సెమీగ్రూప్ చేస్తుంది.
వాస్తవానికి, వాక్యం యొక్క మరింత సంక్లిష్టమైన సంస్కరణ "ఇది '' K 0 '' (' 'A'') ను క్రమబద్ధమైన సమూహంగా చేస్తుంది, దీని సానుకూల కోన్ '' K 0 '' (' 'A'') +. "