Logiceasy
0:00.0

If we define the operator \uparrow (NAND) such that PQP \uparrow Q is false only when both PP and QQ are true, what is the value of (TF)T(T \uparrow F) \uparrow T?