Как построить логическое выражение по таблице истинности?

Смотрим, каких строк больше - с единицей в конечной функции F или с нулём. Тут поровну и поступаем, как для случая, когда единичных значений больше.Выписываем строки с единицами и соединяем их по ИЛИF = 000 ∨ 001 ∨ 011 ∨ 101Заменяем нули на значения переменных с отрицанием, а единицы - просто на значения переменных.F = ¬x₁¬x₂¬x₃ ∨ ¬x₁¬x₂x₃ ∨ ¬x₁x₂x₃ ∨ x₁¬x₂x₃Это выражение можно упростить, но для этого удобнее перейти к другой системе обозначений, заменяя отрицание (¬) надчеркиванием, а дизъюнкцию (∨) знаком сложения (+). Мы не ставили между переменными знак конъюнкции (& или ∧), чтобы излишне не загромождать запись, но должны понимать, что ¬x₁¬x₂¬x₃ - это на самом деле запись выражения¬x₁ ∧ ¬x₂ ∧ ¬x₃Если бы нулевых строк с таблице было больше, удобнее было бы выписать все нулевые, а потом перед всем полученным выражением поставить общий знак отрицания.