Приведите равносильными преобразованиями формулу согласно варианту к дизъюнктивной нормальной форме
(x→(y→z))→((x→¬z)→(x→¬z)

Х --столов с одним ящиком ((значит, и ящиков тоже х)))
у --столов с двумя ящиками ((ящиков уже 2у))
тогда столов с тремя ящиками будет (х-у)
и ящиков в них будет 3*(х-у)
столов с четырьмя ящиками будет (14 - х - х) = (14 - 2х)
и ящиков в них 4*(14-2х)
итого: 33 = х+2у+3х-3у+56-8х
33 = 56-4х-у
4х+у = 56-33 = 23
у = 23 - 4х 
х и у -- натуральные числа и x>y
---> 4x > 4y
-4x < -4y
23-4x < 23-4y
у < 23-4y
5y < 23
y < 23/5 ---> y < 4.6
если у = 4 х тогда не получится целым)))
если у = 3 х = 5 (и тогда столов с тремя ящиками -- 5-3=2)))
если у = 7 х = 4 -- это не возможно, т.к. x > y
столов с одним ящиком -- 5,
с двумя ящиками 3,
с тремя ящиками 2,
с четырьмя ящиками 14-5-3-2=4
33 = 5+3*2+2*3+4*4 = 5+6+6+16 = 33)))
к сожалению, проще у меня рассуждения не получились)))

Объяснение:

Пусть   y = 2 , тогда  x² = 9  и  x = 3 , если x = 2 , то   2y² = 3  , а

полученное  уравнение решений  в натуральных числах  не

имеет , пусть x ≠ 2  и  y ≠2  , тогда x и y - нечетные  числа :    

x = 2k + 1  и  y = 2m + 1 , подставим эти выражения в исходное

 уравнение : 4k² +4k +1  - 2( 4m² + 4m + 1)  = 1

или : 4k²+ 4k -8m²-8m = 2  ⇒ 2( k²+k - 2m² -2m ) = 1  , но

полученное  уравнение не имеет решений в натуральных

числах , так как левая часть кратна 2  , а правая нет ⇒ ( 3  ; 2 )

 - единственная пара простых чисел , удовлетворяющая

исходному уравнению