Решить задачи по математической логике

1.Записать рассуждение в логической символике, обосновать выбор логических связок (3б.)

2. Проверить правильность рассуждения методом Куайна (3 б.).

3. Проверить правильность рассуждения методом редукции (3 б.)

4. Проверить правильность рассуждения методом резолюций (3 б.)

Рассуждение:

Незнание правил дорожного движения не освобождает от ответственности в случае ихнесоблюдения. При нарушении правил водитель несет ответственность.

Следовательно, знать правила нужно