Se não é verdade que “O sistema operacional A é lento e o sistema operacional B não é o mais caro”, então é verdade afirmar que
“Se o sistema operacional A não é lento, então o sistema operacional B não é o mais caro”.
“Se o sistema operacional A não é lento, então o sistema operacional B é o mais caro”.
“O sistema operacional A é lento ou o sistema operacional B é o mais caro”.
“O sistema operacional A não é lento e o sistema operacional B é o mais caro”.
“O sistema operacional A não é lento ou o sistema operacional B é o mais caro”.