Что не так в программе?

2048 бит : 8: 1024= 0.25 кбайт

  вал. панамка

рыба с буквой - рыбак

(¬(m  v  l)  /\  k) → ((¬k  /\¬m)  \/  n)

(¬m /\ ¬l /\  k) → ((¬k  /\¬m)  \/  n)

ложно если первая часть 1 а вторая 0

¬m /\ ¬l /\  k = 1  => m=0, l=0,k=1

(¬k  /\¬m)  \/  n = 0

подставляем

(0 /\1)  \/  n = 0 => n=0

ток-кот=кто это 954-459=495. бра+бар=раб это 495+459=954