(logic '( T ) )
(logic '( T & F ) )
(logic '( ( ( ( ( ( ( T ) ) ) ) ) ) ) )
(logic '( ( ( ( ( ( ( T ) ) ) ) ) ) & F ) )
(logic '( F | ( T & F ) & ( T | F ) ) )
(logic '( F | ( - T ) ) )
(logic '( ( ( - T ) | T & ( F & ( - F ) ) ) & T & ( - ( T | F ) ) ) )
(logic '( F | T & T & F ) )
(logic '( ( - T ) | ( - F ) & T ) )
(logic '( ( F ) & ( T ) | ( F ) & ( - T ) ) )
(logic ' ( ( ( - ( ( ( ( T | F ) ) ) ) & ( ( - T ) ) ) ) ) )