Так что мне нужно сгенерировать таблицу истинности для множества различных функций (например, подразумевается, не p и q, не p и q, и, или, и т. Д.)
У меня есть рекурсивный метод, которыйгенерирует первые два члена каждого индекса правильно ([False, False], [False, True], [True, False], [True, True]). Однако мне нужно взять эти два термина, а затем добавить результат этих двух из одной из различных функций в конец индексов.
make_tt_ins (n): Мой конструктор рекурсивных таблиц с n строками(в данном случае два) и callf2 (f, p, q): данная функция, которая генерирует термин True / False, который мне нужно добавить к каждому индексу.
my_list = PA1.make_tt_ins(2)
p = True;
q = True;
val = [callf2(f, p, q)]
returnVal = [i + val for i in my_list]
return returnVal
Очевидно, все I 'После получения первых двух значений в каждом индексе я получаю True. Я просто не знаю, как правильно добавить результат функции callf2 в мои первые два значения в каждом индексе.
Поскольку функция подразумевает (p <-> q), я получаю:
[[False, False, True], [False, True, True], [True, False, True], [True, True, True]]
It should look something like:
[[False, False, True], [False, True, False], [True, False, False], [True, True, True]]