def test_de_morgan(self):
function = BoolFunction.from_expression("~(~(x0 | x1) ^ (~x0 & ~x1))")
function.simulate_all()
assert function.num_inputs() == 2
assert function.num_outputs() == 1
assert function.num_input_bits() == 2
assert function.num_output_bits() == 1
assert str(function.truth_table(output_bit=0)) == "1111"
def test_de_morgan(self):
function = BoolFunction.from_expression("~(~(x0 | x1) ^ (~x0 & ~x1))")
function.simulate_all()
self.assertEqual(function.num_inputs(), 2)
self.assertEqual(function.num_outputs(), 1)
self.assertEqual(function.num_input_bits(), 2)
self.assertEqual(function.num_output_bits(), 1)
self.assertEqual(str(function.truth_table(output_bit=0)), '1111')
def test_xor(self):
function = BoolFunction.from_expression("x ^ b")
function.simulate_all()
assert function.num_inputs() == 2
assert function.num_outputs() == 1
assert function.num_input_bits() == 2
assert function.num_output_bits() == 1
assert str(function.truth_table(output_bit=0)) == "0110"
def test_xor(self):
function = BoolFunction.from_expression("x ^ b")
function.simulate_all()
self.assertEqual(function.num_inputs(), 2)
self.assertEqual(function.num_outputs(), 1)
self.assertEqual(function.num_input_bits(), 2)
self.assertEqual(function.num_output_bits(), 1)
self.assertEqual(str(function.truth_table(output_bit=0)), '0110')