Изменения

1. В таблице истинности отмечаем те наборы переменных, на которых значение функции равно 1.

|+

|-align="center" bgcolor=#EEEEFF

! 1 || 1 || 1 || 1

|}

2. Для каждого отмеченного набора записываем конъюнкцию всех переменных по следующему правилу: если значение некоторой переменной есть 1, то в конъюнкцию включаем саму переменную, иначе ее отрицание.

|+

|-align="center" bgcolor=#EEEEFF

! 1 || 1 || 1 || 1 || <tex>(x \land y \land z)</tex>

|}

3. Все полученные конъюнкции связываем операциями дизъюнкции.