Требуется решить задачи по математической логике, включая запись рассуждения в логической символике и обоснование выбора логических связок. Проверить правильность рассуждения методом Куайна, редукции и резолюций. Рассуждение: незнание правил дорожного движения не освобождает от ответственности, следовательно, знать правила нужно.