Преимущества и недостатки машины поста (программы)

А) х^2 + у^2 < 4 ⇒ 1^2+(-1)^2 < 4 ⇒ 2 < 4 ⇒ Истина
б) (х >= 0) или (y^2<> 4) ⇒ (1 >= 0) или (2^2 <> 4) ⇒ Истина или Ложь ⇒ Истина
в) (х > =0) и (у^2 <>4) ⇒ (1 >= 0) и (2^2 <> 4) ⇒ Истина и Ложь ⇒ Ложь
г) (х • у<> 0) и (у > х) ⇒ (2 • 1 <> 0) и (1 > 2) ⇒ Истина и Ложь ⇒ Ложь 
д) (х • у<> 0) или (y< х) ⇒ (2 • 1 <> 0) или (1 > 2) ⇒ Истина или Ложь ⇒ Истина 
е) (не (х • у < 0)) и (у > х) ⇒ (не (2 • 1 < 0)) и (1 > 2) ⇒ не Ложь и Ложь ⇒ Истина и Ложь ⇒ Ложь
ж) (не (х • у < 0)) или (у > х) ⇒ (не (1 • 2 < 0)) и (2 > 1) ⇒ не Ложь и Истина ⇒ Истина и Истина ⇒ Истина

LinuxTux (Такс) — официальный талисман Linux. Созданный в 1996 Ларри Юингом, это толстый пингвин, выглядящий сытым и довольным. Идею использовать пингвина в качестве талисмана Linux выдвинул создатель этого ядра Линус Торвальдс.
Tux был нарисован для соревнования логотипов Linux. Победивший логотип при свободного графического редактора GIMP нарисовал Ларри Юинг.Сегодня Tux — общепризнанный символ сообществ сторонников Linux и СПО. Он намного более известен, чем, например, логотип проекта GNU. Внешний вид пингвина разнится от картинки к картинке: например, в версии для пакета повышения безопасности PaX, пингвин носит шлем, щит, а также держит в лапе лабрис — и имеет демонический вид с красными глазами.