In other words, they replace every occurrence of codice_3 with "true" and every occurrence of codice_6 with "false" in the formula codice_4, and simplify the resulting formula.
Другими словами, они заменяют каждое вхождение переменной codice_3 значением «истина» и каждое вхождение переменной с отрицанием codice_6 значением «ложь» в формуле codice_4, а затем упрощают получившуюся формулу.