Логическими переменными A, B, C, D, E обозначены следующие простые высказывания: A – яблоко красное, B – яблоко вкусное, C – яблоко сладкое, D – яблоко крупное, E – яблоко твердое. Записать формулой сложное высказывание:"красный цвет яблока необходим и достаточен для того, чтобы оно было вкусное и одновременно мягкое".

Это сложное высказывание можно записать в виде формулы логического выражения следующим образом:

A → (B ∧ ¬E)

Где символ → означает импликацию, т.е. "если-то", а символ ∧ означает конъюнкцию, т.е. "и". Таким образом, высказывание "красный цвет яблока необходим и достаточен для того, чтобы оно было вкусное и одновременно мягкое" формализовано в виде логической формулы.