Господа юристы!
Вы могли видеть как работает формальный математический подход в задаче о распределении доходов в нашей игре "Стать миллионером" ?
Теперь, вы можете познакомиться с более сложной внешне задачей, но прямо связанной с тонкостями анализа именно правовых норм, ИСПОЛЬЗУЯ, в том числе, математические методы логики, или булевой алгебры. Задача выглядит для юристов сложной, но ее результаты можно проверить именно через строгие нормы кодексов.

Условие задачи.

Найти все случаи, когда могут удовлетворяться такие нормы законодательства:
1) если организация - собственник имущества, то она имеет государственную регистрацию;
2) если организация, имеющая устав, зарегистрирована государством, то она имеет собственность.

Поскольку задача призвана помочь освоению методов формальной логики, то необходимо описать все случаи с помощью обозначенных высказываний A,B и C. Ваши знания логических описаний вы можете уточнить с помощью указаний из теоретического материала, а схему такого анализа выработать в диалоге с программой

Настоящая интерактивная тестовая страница с 20 декабря 2004 г. включена в состав тестов учебно-методического комплекса ИНКЦентра, с 11 февраля 2009 г. Web-страница размещена в Интернете. This interactive page had been inclided in basic materials of educational toolkit of INC-center at 2004, December 20 . WWW-page was opened at 2009, February 11.