b'\n_START_ARTICLE_\nLetterale\n_START_PARAGRAPH_\nNella logica proposizionale, un letterale \xc3\xa8 una formula atomica o la sua negazione._NEWLINE_Un letterale pu\xc3\xb2 essere di due tipi: positivo o negativo._NEWLINE_Dato un letterale , il suo complemento \xc3\xa8 un letterale rappresentato con la negazione di , e viene scritto con . Pi\xc3\xb9 precisamente, se  allora  \xc3\xa8  e se  allora   \xc3\xa8 ._NEWLINE_Nel contesto di una formula in forma normale congiuntiva, un letterale \xc3\xa8 detto puro se il suo complemento non appare nella formula.'