logical conclusion

Мат. логический вывод