Набор исходных данных, при которых заранее известен результат моделирования.

Тест – набор исходных данных, для которых заранее известен результат. В случае несовпадения тестовых значений необходимо искать и устранять причину. Технология моделирования – совокупность целенаправленных действий пользователя над компьютерной моделью.

февраль-3 месяц зимы

май-3 месяц весны

август-3 месяц лета

сентябрь не знаю как связать

(¬(m  v  l)  /\  k) → ((¬k  /\¬m)  \/  n)

(¬m /\ ¬l /\  k) → ((¬k  /\¬m)  \/  n)

ложно если первая часть 1 а вторая 0

¬m /\ ¬l /\  k = 1  => m=0, l=0,k=1

(¬k  /\¬m)  \/  n = 0

подставляем

(0 /\1)  \/  n = 0 => n=0