= (A*|B+|A*B) Таблица истинности
A | B | A*|B+|A*B |
5. Импликация (вовлечение – A Imp B).В программном коде обозначается, какImp:если A – False, а B – True, то результат False. В остальных случаях результат - True. Эта операция называется операциейвовлечения трактуется, как: "Если …, то…".
Пример: "Если у фигуры все стороны равны, то это – квадрат".