回答編集履歴
1
追記
    
        answer	
    CHANGED
    
    | 
         @@ -9,4 +9,12 @@ 
     | 
|
| 
       9 
9 
     | 
    
         
             
            上の二つの式を組み合わせれば題意の式が得られます。
         
     | 
| 
       10 
10 
     | 
    
         | 
| 
       11 
11 
     | 
    
         
             
            ###**(x OR y) = ( (x NAND y) NAND (x NAND y) )**
         
     | 
| 
       12 
     | 
    
         
            -
            ###            ** = ( (x NAND x) NAND (y NAND y) )**
         
     | 
| 
      
 12 
     | 
    
         
            +
            ###            ** = ( (x NAND x) NAND (y NAND y) )**
         
     | 
| 
      
 13 
     | 
    
         
            +
             
     | 
| 
      
 14 
     | 
    
         
            +
             
     | 
| 
      
 15 
     | 
    
         
            +
             
     | 
| 
      
 16 
     | 
    
         
            +
             
     | 
| 
      
 17 
     | 
    
         
            +
             
     | 
| 
      
 18 
     | 
    
         
            +
            ###以下、2017/8/29追記**
         
     | 
| 
      
 19 
     | 
    
         
            +
            と、ここまで書きましたが、考えてみたら普通に真理値表で全列挙したほうが早そうですね。4通りしかないので途中の変換式の説明よりも全列挙の方が早そうでした。m(_ _)m
         
     | 
| 
      
 20 
     | 
    
         
            +
             
     |