\documentclass[a4paper]{article}
\usepackage{circle,russcorr,wrapfig}
\setcounter{задача}{0}
\begin{document}
\заголовок{31 января 2004 г.}{Логика II}{14}

\z Координатная плоскость $xOy$ раскрашена в два цвета: чёрный и белый.
Рассмотрим следующие утверждения:

\qquad (1)~для каждого $x$ существует $y$, такой что точка $(x,y)$ чёрная;

\qquad (2)~существует $y$, такой что для каждого $x$ точка $(x,y)$ чёрная.

Следует ли из первого утверждения второе? А наоборот?

\z $x$~--- целое число. Известно, что из следующих пяти утверждений верно 
ровно три: (1)~$x^2>4$; (2)~$x\le1$; 
(3)~$x=0$; (4)~${-2\le2x\le 3}$; 
(5)~$3x>-7$. Чему равно $x$?

\z Биологи одной из планет Тау Кита установили, что не любое двуногое
умеет прыгать и что нет чешуйчатого, у которого две ноги. Докажите,
что на этой планете есть животные без чешуи, которые не умеют прыгать.

\z Юннат Вова, наблюдая за пятью ёжиками A, B, C, D и E,
выяснил следующее: если A спит, то и B спит; 
С и D либо оба спят, либо оба не спят; если E спит, то A и D тоже спят;
всегда хотя бы один из D и E спит. Однажды, подойдя к клетке, он увидел, что 
спит ровно один из B и С. Какие ёжики спали в этот момент?

\z \p У электронщика Васи были схемы, реализующие логические связки
\лк и\пк, \лк или\пк, \лк не\пк, а также схемы, постоянно выдающие на выходе
0 и 1. Однажды у него закончились схемы \лк или\пк.
Как ему собрать такую схему из схем остальных четырёх типов?

\p В другой раз у него закончились схемы \лк не\пк. Сможет ли он
собрать её из других?

\p Однажды его помощник сделал Очень Сложную Схему (из элементов
\лк и\пк, \лк или\пк, \лк не\пк). Но по ошибке он всюду вместо схем \лк и\пк{}
поставил \лк или\пк, и наоборот. Вася, не разрывая соединений внутри схемы,
допаяв ко входам и выходам ещё несколько схем, превратил её в требуемую. 
Что он сделал?

\p У электронщика Пети не было таких схем, а были только схемы
\лк и-не\пк. Как ему собрать схемы всех пяти типов, которые есть у Васи?
(Схемы \лк ноль\пк{} и \лк единица\пк, конечно, собрать не получится,
нужно собрать схему, которая имеет один вход и, независимо от значений на нём,
даёт на выходе 0 (соответственно, 1).)

\medskip

\z В трапеции $ABCD$ ($AD\parallel BC$) $AB=5$, а
$BC=3$. Какую из сторон: $BC$ или $CD$, пересекает биссектриса
$\angle BAD$?

\end{document}
