Логическое выражение: f=x v не (y v не( x ^ y)

F = X+¬(Y+¬(X*Y))    (Формула:   ¬(А+В)=¬А*¬В   )
F = X+¬Y*X*Y           (Формула:    ¬А*А=0)
F=X +0
F=X

Винер (Wiener) Норберт (26.11.1894, Колумбия, Миссури, — 19.3.1964, Стокгольм) , американский учёный. К 14 годам изучил высшую математику, в 18 лет стал доктором философии Гарвардского университета. С 1919 преподаватель, с 1932 профессор Массачусетского технологического института. Занимался математической логикой и теоретической физикой. В 1920—30-е гг. получил известность как математик работами по теории потенциала, гармоническим функциям, рядам и преобразованиям Фурье, тауберовым теоремам, общему гармоническому анализу.
В 1945—47 годах у Винера возникла идея о необходимости создания единой науки, изучающей процессы хранения и переработки информации, управления и контроля. Для этой науки Винер предложил название кибернетика, получившее общее признание. Норберту Винеру принадлежит, несомненно, первое место в пропаганде значения кибернетики во всей системе человеческих знаний.

Python 3.5:
a, b, c, d = list(map(float, input().split()))
print(False if (c == d) else ((a + b + c + d)/(c - d)).is_integer())

Сначала вводим 4 вещественных числа a, b, c, d.
Если c = d, то ответ False - частное будет нехорошим, поскольку в знаменателе будет 0. Если c не равно d, проверяем при встроенной функции is_integer(), что (a + b + c + d)/(c - d) - целое число. 

Если a, b, c, d - целые, то float в решении можно заменить на int, а проверку при на проверку, что остаток от деления равен нулю, (a + b + c + d) % (c - d) == 0.