https://bntr.livejournal.com/19878.html

логика





          ~(~A|B) | A
      ~(~(~(~A|B))) | A
      ~(~(~(~A|B)|F)) | A
      ~(~(~(~A|B)|~(~B|B))) | A
      ~(~(~(~A  )|~(~B  ))|B) | A
      ~(~( ~~A   | ~~B   )|B) | A
      ~(~(   A   |   B   )|B) | A
  ~(~( ~(~(   A  |  B   )|B) | A ))
   ~(~( ~(~(  A  |  B  )|B) | A )|F)
    ~(~( ~(~(  A | B  )|B) | A )|~(~A|A))
     ~(~( ~(~( A | B ) |B)     )|~(~A  )) | A
      ~( ~~(~(  A|B  ) |B)      | ~~A   ) | A
      ~(    ~(  A|B  ) |B       |  A   ) | A
        ~(   ~( A|B ) | ( B|A )       ) | A
                    F                  | A
                                        A


https://en.wikipedia.org/wiki/Absorption_law
https://en.wikipedia.org/wiki/Laws_of_Form


encrypted: Витёк, пошли дяде Пранку ? :) (March 20 2006, 15:43:55 UTC) t78758
bntr: ты что :) еще запомнит мои надругания.. слышал, в этом сезоне он опять недобр :) (March 20 2006, 16:25:50 UTC) t79014
..