Пусть e(p, q, r) – булевское выражение, зависящее от трех булевских переменных. Сколько различных истинностных присваиваний можно построить в этом случае?

Правильный ответ:

• # Какие утверждения об объектах являются корректными?
• # Какое определение предусловия метода является корректным?
• # Какое определение постусловия метода является корректным?
• # Какое определение инварианта класса является корректным?
• # Рассмотрим импликацию p implies q, где булевское выражение p является посылкой, а q – заключением. Какое из утверждений является некорректным?