7! ¬(¬A ^ ¬B) 9x.A(x) 7! ¬8x.¬A(x) <latexit sha1_base64="RQKTTLuC04w7BqbpraPkFw9Njs8=">AAADGXichVFNa1NBFL19ftVobdSN4GYwtKSbMCmFiqs2blz2K22hr4R5L5P0kXlvHm8mITH4B/wDLrpScCH+CnETXAnSRX+CCG4q1IULz/sAscU4w8zcOfeeO2fu9WIVGMv56Yxz5eq16zdmb5Zu3Z67M1++e2/X6H7iy6avlU72PWGkCiLZtIFVcj9OpAg9Jfe83tPUvzeQiQl0tGNHsTwMRTcKOoEvLKBW2VtnLmJYgy26oYiN1cyNZJdVsz11iqidQ40l5rolVw6hyrBhja1Xh0sXaG5HJ0Kp1JsnQEirXOE1ng122agXRoWKsaHLn8mlNmnyqU8hSYrIwlYkyGAeUJ04xcAOaQwsgRVkfkkvqARuH1ESEQJoD3sXt4MCjXBPc5qM7eMVhZWAyWiBn/B3/IxP+Hv+lf/6Z65xliPVMsLp5VwZt+ZfPtg+/y8rxGnp6A9rqmZLHXqcaQ2gPc6Q9Bd+zh88f3W2/WRrYbzI3/Bv0P+an/KP+EE0+OG/3ZRbx1P0GOQKswqOsNpTqjfGPUGdNNQgCi2tX2zgZWN3uVaHvblSWWsUzZ2lh/SIqujgKq3RM9qgJl6Z0Hc6p5/OsfPBmTif8lBnpuDcp7+G8+U391W+GA==</latexit> <latexit sha1_base64="RQKTTLuC04w7BqbpraPkFw9Njs8=">AAADGXichVFNa1NBFL19ftVobdSN4GYwtKSbMCmFiqs2blz2K22hr4R5L5P0kXlvHm8mITH4B/wDLrpScCH+CnETXAnSRX+CCG4q1IULz/sAscU4w8zcOfeeO2fu9WIVGMv56Yxz5eq16zdmb5Zu3Z67M1++e2/X6H7iy6avlU72PWGkCiLZtIFVcj9OpAg9Jfe83tPUvzeQiQl0tGNHsTwMRTcKOoEvLKBW2VtnLmJYgy26oYiN1cyNZJdVsz11iqidQ40l5rolVw6hyrBhja1Xh0sXaG5HJ0Kp1JsnQEirXOE1ng122agXRoWKsaHLn8mlNmnyqU8hSYrIwlYkyGAeUJ04xcAOaQwsgRVkfkkvqARuH1ESEQJoD3sXt4MCjXBPc5qM7eMVhZWAyWiBn/B3/IxP+Hv+lf/6Z65xliPVMsLp5VwZt+ZfPtg+/y8rxGnp6A9rqmZLHXqcaQ2gPc6Q9Bd+zh88f3W2/WRrYbzI3/Bv0P+an/KP+EE0+OG/3ZRbx1P0GOQKswqOsNpTqjfGPUGdNNQgCi2tX2zgZWN3uVaHvblSWWsUzZ2lh/SIqujgKq3RM9qgJl6Z0Hc6p5/OsfPBmTif8lBnpuDcp7+G8+U391W+GA==</latexit> <latexit sha1_base64="RQKTTLuC04w7BqbpraPkFw9Njs8=">AAADGXichVFNa1NBFL19ftVobdSN4GYwtKSbMCmFiqs2blz2K22hr4R5L5P0kXlvHm8mITH4B/wDLrpScCH+CnETXAnSRX+CCG4q1IULz/sAscU4w8zcOfeeO2fu9WIVGMv56Yxz5eq16zdmb5Zu3Z67M1++e2/X6H7iy6avlU72PWGkCiLZtIFVcj9OpAg9Jfe83tPUvzeQiQl0tGNHsTwMRTcKOoEvLKBW2VtnLmJYgy26oYiN1cyNZJdVsz11iqidQ40l5rolVw6hyrBhja1Xh0sXaG5HJ0Kp1JsnQEirXOE1ng122agXRoWKsaHLn8mlNmnyqU8hSYrIwlYkyGAeUJ04xcAOaQwsgRVkfkkvqARuH1ESEQJoD3sXt4MCjXBPc5qM7eMVhZWAyWiBn/B3/IxP+Hv+lf/6Z65xliPVMsLp5VwZt+ZfPtg+/y8rxGnp6A9rqmZLHXqcaQ2gPc6Q9Bd+zh88f3W2/WRrYbzI3/Bv0P+an/KP+EE0+OG/3ZRbx1P0GOQKswqOsNpTqjfGPUGdNNQgCi2tX2zgZWN3uVaHvblSWWsUzZ2lh/SIqujgKq3RM9qgJl6Z0Hc6p5/OsfPBmTif8lBnpuDcp7+G8+U391W+GA==</latexit> <latexit sha1_base64="RQKTTLuC04w7BqbpraPkFw9Njs8=">AAADGXichVFNa1NBFL19ftVobdSN4GYwtKSbMCmFiqs2blz2K22hr4R5L5P0kXlvHm8mITH4B/wDLrpScCH+CnETXAnSRX+CCG4q1IULz/sAscU4w8zcOfeeO2fu9WIVGMv56Yxz5eq16zdmb5Zu3Z67M1++e2/X6H7iy6avlU72PWGkCiLZtIFVcj9OpAg9Jfe83tPUvzeQiQl0tGNHsTwMRTcKOoEvLKBW2VtnLmJYgy26oYiN1cyNZJdVsz11iqidQ40l5rolVw6hyrBhja1Xh0sXaG5HJ0Kp1JsnQEirXOE1ng122agXRoWKsaHLn8mlNmnyqU8hSYrIwlYkyGAeUJ04xcAOaQwsgRVkfkkvqARuH1ESEQJoD3sXt4MCjXBPc5qM7eMVhZWAyWiBn/B3/IxP+Hv+lf/6Z65xliPVMsLp5VwZt+ZfPtg+/y8rxGnp6A9rqmZLHXqcaQ2gPc6Q9Bd+zh88f3W2/WRrYbzI3/Bv0P+an/KP+EE0+OG/3ZRbx1P0GOQKswqOsNpTqjfGPUGdNNQgCi2tX2zgZWN3uVaHvblSWWsUzZ2lh/SIqujgKq3RM9qgJl6Z0Hc6p5/OsfPBmTif8lBnpuDcp7+G8+U391W+GA==</latexit>