Рассмотрим вариант решения задания из учебника Босова 10 класс, Бином: 7. Известен фрагмент таблицы истинности для логического выражения F, содержащего логические переменные А, В и С. Какое из приведённых далее логических выражений соответствуют этому фрагменту? 1) А & С v (В - > А); 2) (А v В) & (С - > А); 3) (А & В v С) & (В - > А & С); 4) (В - > А) v (СvА - > В); 5) ни одна из указанных формул. Проверяем по строчкам таблицы, подставляя значения в выражения: 1) 0&0v(1- > 0) =0 1&0v(0- > 1) =1 1&1v(0- > 1) =1 – не соответствует по 3-ей строке 2) (0v1)&(0- > 0)=1 – не соответствует по 1-ой строке 3) (0&1v0)&(1- > 0&0)=0 (1&0v0)&(0- > 1&0)=0 – не соответствует по 2-ой строке 4) not (1- > 0) v (0v1- > 1)=1 – не соответствует 1-ой строке. Ответ: 5) ни одна из указанных формул
