Какие из утверждений о правилах стиля программирования являются корректными?

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

• # Какое определение предусловия метода является корректным?
• # Какие булевские выражения являются тавтологиями:
• # Рассмотрим импликацию p implies q, где булевское выражение p является посылкой, а q – заключением. Какое из утверждений является некорректным?
• # При решении сложных задач эффективным приемом является сведение сложной задачи к нескольким более простым задачам. Пусть из состояния K требуется перейти в состояние, где выполняется цель G. Управляющая структура – это некоторая стратегия, сводящая решение задачи к решению более простых задач. Укажите, какие из стратегий относятся к классическим стратегиям, применяемым в программировании?
• # Какое утверждение несправедливо относительно доступа клиентов к атрибуту класса?