title: De Morgan Law in Python 3
body: <p>According to De Morgan law:</p>
  
  <pre><code>¬(P ˄ Q) ↔ (¬P) ˅ (¬Q)
  ¬(P ˅ Q) ↔ (¬P) ˄ (¬Q)
  </code></pre>
  
  <p>In Python 3.5 when I run:</p>
  
  <pre><code>A = True
  B = True
  x = not(A and B)==(not A) or (not B)
  y = not(A or B)==(not A) and (not B)
  print('x is :', x, '\ny is :' ,y)
  </code></pre>
  
  <p>This returns:</p>
  
  <pre><code>x is : True 
  y is : False
  </code></pre>
  
  <p>Question: why y is False?</p>