如何为逻辑命题创建分析表

Question

我有这个语法：

F = F and F
F = F or F 
F = F => F
F = F <=> F
F = not F
F = (F)
D = a

但是这个语法含糊不清，我已经删除了这样的歧义：

F = F and A
F = A
A = F or B 
A = B
B = F => C
B = C
C = F <=> C
C = D
D = not F
D = (F)
D = a

它的真实与否？