Just a bit more mind-bending: is there a solution the the equation: x = all(1,4)?

That isn't all that mind-bending actually:

use Quantum::Superpositions;
my $x = all(any(1,4),any(1,4)); #also: all(any(1,4),any(1,4))
if($x == all(1,4)){
    print "Solved\n";
}
[download]