fork download
copy 
  1. from itertools import product
  2.  
  3. for x, y, z in product((False, True), repeat=3):
  4. 	f_xyz = not (x and y or x and z or y and z)
  5. 	g_xyz = not (f_xyz and (x or y or z) or x and y and z)
  6. 	not_x = f_xyz and (y or z) or (f_xyz or y and z) and g_xyz
  7. 	not_y = f_xyz and (x or z) or (f_xyz or x and z) and g_xyz
  8. 	not_z = f_xyz and (x or y) or (f_xyz or x and y) and g_xyz
  9. 	assert (not x == not_x) and (not y == not_y) and (not z == not_z)
  10.  
Success #stdin #stdout 0.01s 7688KB
comments (?)
stdin
copy 
Standard input is empty
stdout
copy 
Standard output is empty
https://ideone.com/5j46MV
language:
Python (cpython 2.7.16)
created:
8 years ago
visibility:
public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!